| Record ID | marc_records_scriblio_net/part22.dat:25852725:682 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part22.dat:25852725:682?format=raw |
LEADER: 00682pam 2200217 a 4500
001 91040182
003 DLC
005 19960325125821.4
008 911025s1992 nyu b 00110 eng
010 $a 91040182
020 $a0139510621
040 $aDLC$cDLC$dDLC
050 00 $aQA76.76.V47$bD34 1992
082 00 $a005.1/4$220
100 1 $aDahl, Ole-Johan,$d1931-
245 10 $aVerifiable programming /$cOle-Johan Dahl.
260 $aNew York :$bPrentice Hall,$c1992.
300 $aix, 269 p. ;$c24 cm.
440 0 $aPrentice Hall international series in computer science
504 $aIncludes bibliographical references (p. 260-262) and index.
650 0 $aComputer programs$xVerification.