| Record ID | marc_loc_2016/BooksAll.2016.part14.utf8:75483463:819 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part14.utf8:75483463:819?format=raw |
LEADER: 00819cam a2200241 a 4500
001 82136131
003 DLC
005 20111220084912.0
008 830115s1980 gw b 000 0 eng
010 $a 82136131
020 $a0387102833 (U.S. : pbk.)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.73.A35$bT68 1980
082 00 $a001.64/24$219
245 00 $aTowards a formal description of Ada /$cedited by D. Bjørner and O.N. Oest.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1980.
300 $axii, 630 p. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v98
504 $a"References and bibliography": p. 626-630.
650 0 $aAda (Computer program language)
650 0 $aProgramming languages (Electronic computers)$xSemantics.
700 1 $aBjørner, D.$q(Dines),$d1937-
700 1 $aOest, O. N.