000			01483nam a2200397 a 4500
005			20250930131016.0
006			m d
007			cr nn 008maaau
008			101029s2008 enk s j eng d
020			_a9781848000179 (electronic bk.)
020			_a9781848000162 (paper)
035			_a(GreenPo)978-1-84800-016-2
039		9	_y10-29-2010 _zmuhaimin
050	0	4	_aQA76.73.C15 _bS545 2008
082	0	4	_a005.435 _221
090			_aQA76.73.C15 _bS594 2008
100	1		_aSimon, Axel.
245	1	0	_aValue-range analysis of C programs _h[electronic resource] : _btowards proving the absence of buffer overflow vulnerabilities / _cby Axel Simon.
260			_aLondon : _bSpringer-Verlag London, _cc2008.
300			_axxii, 300 p. : _bill., digital ; _c25 cm.
650		0	_aC (Computer program language) _959409
650		0	_aMemory management (Computer science)
650	2	4	_aNumeric Computing.
650	2	4	_aSoftware Engineering.
650	2	4	_aLogics and Meanings of Programs.
650	1	4	_aComputer Science.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer e-books
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-1-84800-017-9
907			_a.b14825235 _b2024-11-20 _c2019-11-12
942			_n0 _kQA76.73.C15 S594 2008
914			_avtls003443857
998			_ae0001 _b2010-03-10 _cm _da _feng _genk _y0 _z.b14825235
999			_c469240 _d469240