000 01022nam a2200253 a 4500
001 vtls000039277
003 KUKTEM
005 20251117150108.0
008 090702t2008 enka f b 001 0 eng d
020 _a9781848000162
020 _a1848000162
039 9 _a201107132312
_bVLOAD
_c201106301026
_dida
_c201004091107
_djamee
_c200908141641
_dVLOAD
_y200907020935
_znadia
040 _aUMP
090 _aQA76.73 .C15 S56 2008
100 1 _aSimon, Axel
245 1 0 _aValue-range analysis of C programs :
_btowards proving the absence of buffer overflow vulnerabilities /
_cAxel Simon
260 _aLondon :
_bSpringer,
_cc2008
300 _axxii, 300 p. :
_bill. ;
_c25 cm.
504 _aIncludes bibliographical references and index
650 0 _aC (Computer program language)
650 0 _aMemory management (Computer science)
856 4 1 _aTable of contents only
_uhttp://www.loc.gov/catdir/toc/fy1001/2008930099.html
999 _aVIRTUA40
_c51309
_d51315
999 _aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*5040*6500*6501*8560*9991