000			01025cam a22002535a 4500
001			14901673
005			20170103145227.0
008			070625s2008 enka frb f001 0 eng d
020			_a9780521882866
020			_a0521882869
040			_aDLC _cDLC _dBTCTA _dBAKER _dYDXCP _dC#P _dDLC _dEG-ScBUE _beng
082	0	4	_222 _a005.1 _bHUA
100	1		_aHuang, J. C., _d1935-
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.
500			_aIndex : p. 194-196.
504			_aBibliography : p. 191-193.
505	0		_aState constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
650		7	_aComputer software _xDevelopment. _2BUEsh _911535
650		7	_aComputer software _xDevelopment _xComputer programs. _2BUEsh
653			_bCOMSCI _cJanuary2017
942			_2ddc
999			_c23818 _d23790