| Record ID | marc_loc_2016/BooksAll.2016.part12.utf8:151804321:859 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part12.utf8:151804321:859?format=raw |
LEADER: 00859cam a2200241 a 4500
001 80012451
003 DLC
005 19930727112414.7
008 800304s1980 nju b 00110 eng
010 $a 80012451 //r932
020 $a0135621321 :$c$29.00
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.B335
082 00 $a001.64/25
100 10 $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 0 $aEnglewood Cliffs, N.J. :$bPrentice-Hall International,$cc1980.
300 $axvi, 505 p. ;$c24 cm.
440 0 $aPrentice-Hall International series in computer science
504 $aBibliography: p. 466-490.
500 $aIncludes index.
650 0 $aComputer programs$xCorrectness.
650 0 $aLogic, Symbolic and mathematical.