Record ID | harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:771453283:670 |
Source | harvard_bibliographic_metadata |
Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:771453283:670?format=raw |
LEADER: 00670nam a2200217Ia 4500
001 000922089-5
005 20020606090541.3
008 810402s1980 gw b 00000 eng d
020 $a3540102833
035 0 $aocm07299701
040 $aRRR$cRRR
245 00 $aTowards a formal description of Ada /$cedited by D. Bjørner and O.N. Oest.
260 0 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1980.
300 $axii, 630 p. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v98
504 $aBibliography: p. 626-630.
650 0 $aAda (Computer program language)
700 1 $aBjørner, D.$q(Dines),$d1937-
700 1 $aOest, O. N.
988 $a20020608
906 $0OCLC