| Record ID | ia:towardsformaldes0000unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/towardsformaldes0000unse/towardsformaldes0000unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/towardsformaldes0000unse/towardsformaldes0000unse_meta.mrc |
LEADER: 00828cam 2200265 4500
003 CStRLIN
005 19940805000000.0
008 810705s1980 gw a b 000 0 eng d
020 $a3540102833
035 $a(WaBeW)E2603432
040 $aKKINMQ
090 $aQA76.73.A23$bT6
245 00 $aTowards a formal description of Ada,$cedited by D. Bj{ostrok}rner and O. N. Oest.
260 $aBerlin,$bSpringer-Verlag,$c1980.
300 $axii, 630 p.$bill.$c25 cm.
440 0 $aLecture notes in computer science ;$v98
504 $aBibliography: p. 626-630.
650 0 $aAda (Computer program language)
700 10 $aBj{ostrok}rner, D.$q(Dines),$d1937-
700 10 $aOest, O. N.
907 $a.b12656641$bmulti$c-
902 $a070705
998 $b1$c950214$dm$ea$f-$g0
941 $aWAWCE2603432-B
940 $aQA76.73.A23$bT6$lGen$z090