000 00904cam a2200253 i 4500
001 u98023
003 SIRSI
005 20240619145919.0
008 110131 eng
020 _a9780521879033
050 _aQA76.758
_b.M55 2009
100 1 _aMills, Bruce. ,
_eauthor
_9212493
245 1 0 _aPractical formal software engineering :
_bwanting the software you get /
_cBruce Mills.
264 1 _aCambridge :
_bCambridge University Press,
_c2009.
300 _axxxiii, 339 pages :
_billustrations ;
_c25 cm.
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
596 _a1 3
650 0 _aSoftware engineering
_xTextbooks.
_9212494
907 _a.b10387195
_b07-11-22
_c15-11-18
998 _am
_b06-11-22
_cm
_da
_e-
_feng
_g
_h0
999 _c30081
_d30081