000			00707nam a2200205Ia 4500
008			161214s9999 xx 000 0 und d
020			_a0748408134 _c(pbk)
082			_223 _a005.13119 _bWOO
100			_aLoomes, Martin
245		0	_aSoftware engineering mathematics : formal methods demystified
260			_aLondon: _bTaylor & Francis, _c1988
300			_a291 p.; _bill., index: _c24 cm.
490			_aSEI series in software engineering
650			_aComputer systems Programs Mathematics
650			_aElectronic data processing -- Mathematics
650			_aElectronic digital computers -- Programming
650			_aSoftware engineering -- Mathematics
700			_aWoodcock, Jim
942			_2ddc _cBK
999			_c3682 _d3682