CSU-Carig

LRC WEB OPAC

Your Gateway to Our Library Collection

RedEagle Search

Value-range analysis of C programs : [electronic resource] towards proving the absence of buffer overflow vulnerabilities / (Record no. 14419)

000 -LEADER
fixed length control field 00768cam a2200193Ka 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781848000179
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1848000170
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 620.00420285536
100 1# - MAIN ENTRY--AUTHOR NAME
Personal name Simon, Axel
245 10 - TITLE STATEMENT
Title Value-range analysis of C programs : [electronic resource] towards proving the absence of buffer overflow vulnerabilities /
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication London [u.a.] :
Name of publisher Springer,
Year of publication 2008
300 ## - PHYSICAL DESCRIPTION
Number of Pages one online resource, 301 pages :
Other physical details illustrations ;
500 ## - GENERAL NOTE
General note Description based on print version record
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term C (Computer program language)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Memory management (Computer science)
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-1-84800-017-9
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://proxy.ohiolink.edu:9099/login?url=http://dx.doi.org/10.1007/978-1-84800-017-9
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Electronic Books
Holdings
Permanent Location Date acquired Collection code Koha item type Lost status Shelving location Current Location Withdrawn status Full call number
Cagayan State University - Carig Library2018-04-13E-BooksElectronic Books E-Resource SectionCagayan State University - Carig Library 620.00420285536

Cagayan State University University Library, Carig Campus
Tuguegarao City, Cagayan 3500 | www.csucarig.edu.ph

Powered by Koha