It looks like you're offline.
Open Library logo
additional options menu

MARC record from Internet Archive

LEADER: 01008cam 22002770a 4500
001 0116301293209
008 800304s1980 nju b 11 eng d
010 $a 80012451 //r87
020 $a0135621321 :$c$29.00
035 $a(Sirsi) AAJ-9740
035 $a22720995.C..
040 $aOPET$beng
046 $aDLC$cDLC
050 00 $aQA76.6$b.B335
082 $a001.64/25
090 0 $aQA 76.6 .B335$bb
100 1 $aBakker, J. W. de$q(Jacobus Willem),$d1939-
245 10 $aMathematical theory of program correctness /$cJaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. --
260 $aEnglewood Cliffs, N.J. :$bPrentice-Hall International,$cc1980.
300 $axvi, 505 p. ;$c24 cm. --
490 1 $aPrentice-Hall International series in computer science
500 $aIncludes index.
504 $aBibliography: p. 466-490.
650 0 $aComputer programs$xCorrectness.
650 0 $aLogic, Symbolic and mathematical.
830 0 $aPrentice-Hall international series in computer science.