| Record ID | marc_loc_2016/BooksAll.2016.part22.utf8:63334875:934 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part22.utf8:63334875:934?format=raw |
LEADER: 00934cam a2200265 a 4500
001 92186963
003 DLC
005 20130430102437.0
008 920716s1992 caua b 100 0 eng
010 $a 92186963
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.M35597 1992
082 00 $a005.1$220
100 1 $aManna, Zohar.
245 10 $aFundamentals of deductive program synthesis /$cby Zohar Manna and Richard Waldinger.
260 $aStanford, Calif. :$bDept. of Computer Science, Stanford University,$c[1992]
300 $a62 p. :$bill. ;$c28 cm.
490 1 $aReport ;$vno. STAN-CS-92-1404
500 $aCover title.
500 $a"January 1992"--Cover.
504 $aIncludes bibliographical references (p. 59-62).
650 0 $aComputer programming.
650 0 $aLogic, Symbolic and mathematical.
700 1 $aWaldinger, Richard.
830 0 $aReport (Stanford University. Computer Science Department) ;$vno. STAN-CS-92-1404.