000			01672cam a2200349 a 4500
001			14901673
003			OSt
005			20150408114157.0
008			070625s2008 enka b 001 0 eng
010			_a 2007026404
020			_a9780521882866 (hardback)
020			_a0521882869 (hardback)
035			_a(OCoLC)ocn145943332
035			_a(OCoLC)145943332
040			_aDLC _cDLC _dBTCTA _dBAKER _dYDXCP _dC#P _dDLC
050	0	0	_aQA76.76.D47 _bH83 2008
082	0	0	_a005.1 _222 _bHJP
100	1		_aHuang, J. C., _d1935- _940875
245	1	0	_aPath-oriented program analysis / _cJ.C. Huang.
260			_aCambridge ; _aNew York : _bCambridge University Press, _c2008.
300			_axii, 196 p. : _bill. ; _c24 cm.
504			_aIncludes bibliographical references (p. 191-193) and index.
505	0		_aState constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
650		0	_aComputer software _xDevelopment.
650		0	_aComputer software _xDevelopment _xComputer programs. _940876
856	4	2	_3Contributor biographical information _uhttp://www.loc.gov/catdir/enhancements/fy0803/2007026404-b.html
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0803/2007026404-d.html
856	4	1	_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0803/2007026404-t.html
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
942			_2ddc _cBOOK
999			_c32553 _d267053