| Record ID | marc_columbia/Columbia-extract-20221130-001.mrc:563280940:1460 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-001.mrc:563280940:1460?format=raw |
LEADER: 01460cam a2200373 a 4500
001 453725
005 20220519023141.0
008 860320t19801980nju b 001 0 eng
010 $a 80012451
020 $a0135621321 :$c$29.00
035 $a(OCoLC)6143239
035 $a(OCoLC)ocm06143239
035 $a(CStRLIN)NYCG86-B29691
035 $9ABZ3690CU
035 $a(NNC)453725
035 $a453725
040 $cWMaUCS
050 00 $aQA76.6$b.B335
082 0 $a001.64/25
090 $aQA76.6$b.B335
100 1 $aBakker, J. W. de$q(Jacobus Willem),$d1939-$0http://id.loc.gov/authorities/names/n80025863
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,$c[1980], ©1980.
300 $axvi, 505 pages ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aPrentice-Hall international series in computer science
504 $aBibliography: p. 466-490.
500 $aIncludes index.
650 0 $aComputer programs$xCorrectness.$0http://id.loc.gov/authorities/subjects/sh85029525
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
830 0 $aPrentice-Hall international series in computer science.$0http://id.loc.gov/authorities/names/n42019620
852 00 $boff,eng$hQA76.6$i.B335