| Record ID | marc_columbia/Columbia-extract-20221130-001.mrc:136886219:1442 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-001.mrc:136886219:1442?format=raw |
LEADER: 01442cam a2200361 a 4500
001 109914
005 20220518200310.0
008 821021s1980 gw b 000 0 eng
010 $a 82136131
020 $a0387102833 (U.S. : pbk.)
035 $a(OCoLC)7299701
035 $a(OCoLC)ocm07299701
035 $a(CStRLIN)NYCG82-B52599
035 $9AAM6987CU
035 $a(NNC)109914
035 $a109914
050 00 $aQA76.73.A35$bT68 1980
082 0 $a001.64/24$219
090 $aQA76.73.A35$bT68 1980
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 pages ;$c25 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aLecture notes in computer science ;$v98
504 $a"References and bibliography": p. 626-630.
650 0 $aAda (Computer program language)$0http://id.loc.gov/authorities/subjects/sh85000774
650 0 $aProgramming languages (Electronic computers)$xSemantics.$0http://id.loc.gov/authorities/subjects/sh85107316
700 1 $aBjørner, D.$q(Dines),$d1937-$0http://id.loc.gov/authorities/names/n82058414
700 1 $aOest, O. N.$0http://id.loc.gov/authorities/names/n82112369
830 0 $aLecture notes in computer science ;$v98.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.73.A35$iT68 1980