000			01263 a2200229 4500
003			Nust
005			20220725141212.0
010			_a 2002030646
020			_a1852332476 (alk. paper)
040			_cNust
082	0	0	_a005.131,MON
100	1		_aMonin, Jean Fran�cois, _994916
245	1	0	_aUnderstanding formal methods / _cwritten and translated by Jean Fran�cois Monin ; translation editor, Michael G. Hinchey.
260			_aLondon ; _aNew York : _bSpringer, _cc2003.
300			_axv, 275 p. ; _c24 cm.
505			_aMotivation (Page-1), Introductory Exercise (Page-15), A Presentation of Logical Tool (Page-35), Hoare Logic (Page-65) Classical Logic (Page-75) Set-theoretic Specifications (Page-95) Set Theory (Page-111), Behavioral Specifications (Page-125) Deduction System (Page-149) Abstract Data Types and Algebraic Specification (Page-189) Type Systems and Constructive Logics (Page-203) Using Type Theory (Page-233).
650		0	_aFormal methods (Computer science) _994917
700	1		_aHinchey, Michael G. _d1969- _994918
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0816/2002030646-d.html
856	4	2	_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0816/2002030646-t.html
942			_2ddc _cBK
999			_c198640 _d198640