| Record ID | ia:correctnessprobl0000unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/correctnessprobl0000unse/correctnessprobl0000unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/correctnessprobl0000unse/correctnessprobl0000unse_meta.mrc |
LEADER: 00745cam a2200229 a 4500
001 81067887
003 DLC
005 19880804000000.0
008 820427s1981 enka b 00100 eng
010 $a 81067887 //r88
015 $aGB***
020 $a0121229203
050 0 $aQA76.6$b.C663
082 0 $a001.64/25$219
245 04 $aThe Correctness problem in computer science /$cedited by R.S. Boyer and J Strother Moore.
260 0 $aLondon ;$aNew York :$bAcademic Press,$c1981.
300 $axiii, 279 p. :$bill. ;$c24 cm.
440 0 $aInternational lecture series in computer science
504 $aIncludes bibliographies and index.
650 0 $aComputer programs$xCorrectness.
700 10 $aBoyer, Robert S.
700 10 $aMoore, J Strother,$d1947-