| Record ID | marc_loc_2016/BooksAll.2016.part21.utf8:216494703:956 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part21.utf8:216494703:956?format=raw |
LEADER: 00956cam a2200265 a 4500
001 92044571
003 DLC
005 19990113125320.4
008 921203s1993 nyu b 001 0 eng
010 $a 92044571
020 $a0387940065 (New York : acid-free paper)
020 $a3540940065 (Berlin : acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.H66 1993
082 00 $a005.1/2$220
100 1 $aGuttag, John.
245 10 $aLarch :$blanguages and tools for formal specification /$cJohn V. Guttag, James J. Horning ; with S.J. Garland ... [et al.].
260 $aNew York :$bSpringer-Verlag,$cc1993.
300 $axiii, 250 p. ;$c25 cm.
440 0 $aTexts and monographs in computer science
504 $aIncludes bibliographical references (p. [230]-238) and index.
650 0 $aComputer programming.
650 0 $aComputer software$xDevelopment.
650 0 $aLarch (Computer program language)
700 10 $aHorning, J. J.$q(James J.)