| Record ID | marc_columbia/Columbia-extract-20221130-001.mrc:104581332:1342 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-001.mrc:104581332:1342?format=raw |
LEADER: 01342cam a2200361 a 4500
001 83943
005 20220518193918.0
008 820625s1981 enka b 001 0 eng
010 $a 81067887
015 $aGB***
020 $a0121229203
035 $a(OCoLC)8364350
035 $a(OCoLC)ocm08364350
035 $a(CStRLIN)NYCG82-B26741
035 $9AAJ9287CU
035 $a(NNC)83943
035 $a83943
050 00 $aQA76.6$b.C663
082 0 $a001.64/25$219
090 $aQA76.6$b.C663
245 04 $aThe Correctness problem in computer science /$cedited by R.S. Boyer and J. Strother Moore.
260 $aLondon ;$aNew York :$bAcademic Press,$c1981.
300 $axiii, 279 pages :$billustrations ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aInternational lecture series in computer science
504 $aIncludes bibliographies and index.
650 0 $aComputer programs$xCorrectness.$0http://id.loc.gov/authorities/subjects/sh85029525
700 1 $aBoyer, Robert S.$0http://id.loc.gov/authorities/names/n79073003
700 1 $aMoore, J Strother,$d1947-$0http://id.loc.gov/authorities/names/n79073002
830 0 $aInternational lecture series in computer science.$0http://id.loc.gov/authorities/names/n42013557
852 00 $boff,eng$hQA76.6$i.C663