LEADER 00997nam0-22003131i-450-
001 990000494160403321
005 20090212124357.0
010   $a0-471-91474-6
035   $a000049416
035   $aFED01000049416
035   $a(Aleph)000049416FED01
035   $a000049416
100   $a20020821d1987----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $a<<The >>spine of software$edesigning provably correct software$etheory and practice$eor, a mathematical introduction to the semantics of computer programs$fRobert Laurence Baber
210   $aChichester$cWiley & Sons$dİ1987
215   $a316 p.$cill.$d23 cm
610 0 $aProgrammazione
610 0 $aElaborazione dei dati elettronici
676   $a005.13
700  1$aBaber,$bRobert Laurence$0322853
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000494160403321
952   $a10 P.T. 506$b1754 DIS$fDINEL
959   $aDINEL
996   $aSpine of software$9333319
997   $aUNINA