LEADER 01065nam0-22003251i-450-
001 990000515250403321
005 20080905101559.0
010   $a0-07-707735-0
035   $a000051525
035   $aFED01000051525
035   $a(Aleph)000051525FED01
035   $a000051525
100   $a20020821d1994----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $a<<The >>construction of formal specifications$ean introduction to the model-based and algebraic approaches$fJ. G. Turner, T. L. McCluskey
210   $aLondon$cMcGraw-Hill$dİ1994
215   $aXII, 420 p.$cill.$d24 cm
225 1 $aMcGraw-Hill International Series in Software Engineering
610 0 $aIngegneria del software
676   $a005.1'2
700  1$aTurner,$bJohn G.$f<1946- >$027471
701  1$aMcCluskey,$bT. Lee$f<1957- >$0340404
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000515250403321
952   $a10 P.T. 692$bdis 3493$fDINEL
959   $aDINEL
996   $aConstruction of formal specifications$9331161
997   $aUNINA