000			00893nam a2200265 a 4500
999			_c1144 _d1144
001			vtls000001397
003			MY-PjKIC
005			20210815145436.0
008			100211t1994 000 0 eng d
020			_a007707968X
035			_a007707968X
039		9	_a201110071432 _bnorliday _c201002111734 _dVLOAD _c201002111609 _dVLOAD
040			_cFCUC
082			_a005.131 CAS 1994
090			_a005.131 CAS 1994
100	1		_aCasey, Chris.
245	1	2	_aA programming approach to formal methods / _cChris Casey.
260			_aLondon ; _aNew York : _bMcGraw-Hill, _cc1994.
300			_axii, 262 p. : _bill. ; _c25 cm.
440		4	_aThe McGraw-Hill international series in software engineering.
504			_aIncludes bibliographical references (p. 257) and index.
650		0	_aElectronic digital computers _xProgramming.
942			_2ddc _c3