000 nam a22 7a 4500
999 _c31199
_d31199
005 20170502161639.0
008 170502b xxu||||| |||| 00| 0 eng d
020 _a9788184895599
040 _aUPES LIBRARY
_bEnglish
082 _a005.133
_bSI
100 _aSimon, Axel
_951627
245 _aValue range analysis of C programs : Towards proving the absence of buffer overflow vulnerabilities
260 _aNew Delhi :
_bSpringer,
_c2008
300 _axxii, 300p.
650 _aProgramming language
_951628
650 _aC programming
_910252
942 _cBK