000			00548nam a2200169Ia 4500
008			161214s9999 xx 000 0 und d
020			_a1852336404 _c(pbk)
082			_223 _a005.131 _bHIN
100			_aBowen, Jonathan P.
245		0	_aIndustrial-strength formal methods in practice
260			_aLondon: _bSpringer, _c1999
300			_axvi, 400 p.; _bill., index: _c24 cm.
490			_aFormal approaches to computing and information technology
650			_aFormal methods (Computer science)
700			_aHinchey, Michael G.
942			_2ddc _cBK
999			_c5509 _d5509