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