000			00459nam a2200157Ia 4500
008			241217s9999||||xx |||||||||||||| ||und||
020			_a9780077079680 _c132.2
040			_beng _cSSK Library _erda
082			_a005.3 CAS
100			_a Chris Casey
245		2	_aA Programming Approach To Formal Methods
260			_b Mcgraw-Hill International (Uk) Limited _c©1994
942			_2Dewey Decimal Classification _cBOOK _nNo
999			_c23767 _d23767
003			OSt
005			20241217112911.0