LEADER 01232nam  2200373   450 
001 990001211270203316
005 20031021181709.0
035   $a000121127
035   $aUSA01000121127
035   $a(ALEPH)000121127USA01
035   $a000121127
100   $a20031021d1982----km-y0itay0103----ba
101 0 $aeng
102   $aUK
105   $a||||||||001yy
200 1 $aFormal specification and software development$f[By]Dines Bjorner and Cliff B. Jones$gIn collaboration with Derek Andrews [et al...]
210   $aEnglewood Cliffs$cPrentice-Hall International$dcopyr. 1982
215   $aX, 501 p$cill$d23 cm
225 2 $aPrentice-Hall International series in computer science
410  0$1Prentice-Hall International series in computer science
454  1$12001
461  1$1001-------$12001
676   $a001.642
700  1$aBJRNER,$bDines$0556239
701  1$aJONES,$bCliff B.$026769
801  0$aIT$bsalbc$gISBD
912   $a990001211270203316
951   $a001.6 SCS (3)$b19985 Ing$c001.6
959   $aBK
969   $aTEC
979   $aSIAV2$b10$c20031021$lUSA01$h1817
979   $aPATRY$b90$c20040406$lUSA01$h1727
996   $aFormal specification and software development$9984336
997   $aUNISA