LEADER 01667nam--2200469---450-
001 990000354630203316
005 20031016110924.0
035   $a0035461
035   $aUSA010035461
035   $a(ALEPH)000035463USA01
035   $a0035461
100   $a20010309d1982----km-y0itay0103----ba
101   $aeng
102   $aUS
105   $aa|||||||001yy
200   $aFormal specification and software development$fDines Bjorner and Cliff B. Jones$gin collaboration with Derek Andrews ... [et al.]$gwith the assistence of Arie de Bruin, Jeffrey Zucker
210   $aEnglewood Cliffs$cPrentice-Hall$dcopyr. 1982
215   $aX, 501 p.$cill.$d23 cm
225 2 $aPrentice-Hall International series in computer science
410  0$12001$aPrentice-Hall International series in computer science
461  1$1001-------$12001
606 0 $aElaboratori elettronici$xProgrammazione
606 0 $aElaboratori elettronici$xLinguaggi di programmazione
676   $a001.642
700  1$aBJORNER,$bDines$0543323
701  1$aJONES,$bCliff B.$026769
702  1$aANDREWS,$bDerek
801  0$aIT$bsalbc$gISBD
912   $a990000354630203316
951   $a001.6 SCS 10$b19462$c001.6$d00105304
951   $a001.6 SCS (3)$b19985 Ing$c001.6
959   $aBK
969   $aSCI
969   $aTEC
979   $aPATTY$b90$c20010309$lUSA01$h1422
979   $c20020403$lUSA01$h1643
979   $aSIAV5$b10$c20031016$lUSA01$h1102
979   $aSIAV5$b10$c20031016$lUSA01$h1104
979   $aSIAV5$b10$c20031016$lUSA01$h1109
979   $aPATRY$b90$c20040406$lUSA01$h1625
996   $aFormal specification and software development$9876382
997   $aUNISA