000			00491nam a2200157Ia 4500
999			_c17148 _d17148
008			161214s9999 xx 000 0 und d
020			_a9780521879033 _c(hbk)
082			_a005.1 _bMIL
100			_aMills, Bruce
245		0	_aPractical formal software engineering : wanting the software you get
260			_aNew York: _bCambridge University Press, _c2009
300			_axxxiii, 339 p.; _bill.: _c26 cm.
650			_aSoftware engineering
650			_aFundamentals. Arithmetic
650			_aAlgebra
650			_aNatural language
650			_aDigital geometry
942			_2ddc _cBK