Catalog

Record Details

Catalog Search


Search Results Showing Item 93 of 907

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities

Simon, Axel. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781848000179
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: London : Springer London, 2008.
Subject: Computer science
Software engineering
Logic design
Electronic data processing
Computer Science
Logics and Meanings of Programs
Software Engineering
Numeric Computing
Search Results Showing Item 93 of 907

Additional Resources