Catalog

Record Details

Catalog Search


Back To Results
Showing Item 35 of 508

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities  Cover Image E-book E-book

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

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

Record details

  • ISBN: 9781848000179
  • Physical Description: 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.

Electronic resources


Back To Results
Showing Item 35 of 508

Additional Resources