000 01169cam a2200325 i 4500
001 u66323
003 SIRSI
005 20240619145803.0
008 110131 eng
020 _a9780521435925
_qpbk.
020 _a0521434572
020 _a0521435927
_qpbk.
020 _a9780521434577
050 _aQA76.76.D47
_b.F44 2005
100 1 _aFeijs, L. M. G.. ,
_eauthor
_9173990
245 1 0 _aFormal specification and design /
_cL. M. G. Feijs, H. B. M. Jonkers.
264 1 _aNew York :
_bCambridge University Press,
_c2005.
300 _axiii, 335 pages :
_billustrations ;
_c25 cm.
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
490 1 _aCambridge tracts in theoretical computer science ;
_vv. 35
596 _a1 3
650 0 _aComputer software
_xDevelopment.
_93381
650 0 _aObject-oriented programming (Computer science).
_93700
700 1 _aJonkers, H. B. M.
_9173991
907 _a.b10351851
_b07-11-22
_c12-09-18
998 _am
_b06-11-22
_cm
_da
_e-
_feng
_g
_h0
999 _c26555
_d26555