LEADER 01247nam--2200373---450-
001 990000354610203316
035   $a0035461
035   $aUSA010035461
035   $a(ALEPH)000035461USA01
035   $a0035461
100   $a20010309d1980----km-y0itay0103----ba
101   $aeng
102   $aUS
105   $a||||||||001yy
200   $aMathematical theory of program correctness$fJacode Bakker$gwith the assistence of Arie de Bruin, Jeffrey Zucker
210   $aEnglewood Cliffs$cPrentice-Hall International$dc1980
215   $aXVI, 505 p.$d23 cm
225 2 $aPrentice-Hall International series in computer science
410   $12001$aPrentice-Hall International series in computer science
461  1$1001-------$12001
676   $a001.6425
700  1$aBAKKER,$bJacobus Willem de$046130
702  1$aZUCKER,$bJeffery
801  0$aIT$bsalbc$gISBD
912   $a990000354610203316
951   $a001.6 SCS 7$b10944$c001.6$d00105301
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010309$lUSA01$h1414
979   $aPATTY$b90$c20010309$lUSA01$h1420
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1625
996   $aMathematical theory of program correctness$9876383
997   $aUNISA