000			00520nam a22001577a 4500
008			160527b xxu||||| |||| 00| 0 eng d
020			_a978-0-521-87903-3
082			_22009 _aDC 005.1 _bM62p
100			_99322 _aMills, Bruce.
245			_aPractical formal software engineering: _bwanting the software you get/ _cBruce Mills.
260			_aCambridge: _bCambridge University Press, _cc2009.
300			_axxxiii, 339 pages; _c25 cm.
500			_aIncludes index.
650		0	_99326 _aSoftware engineering.
942			_2ddc _cDC
999			_c2810 _d2810