LEADER 01102nam  2200361   450 
001 990000483010203316
035   $a0048301
035   $aUSA010048301
035   $a(ALEPH)000048301USA01
035   $a0048301
100   $a20010530d1980----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aTowards a formal description of ADA$fedited by D. Bjorner and O. N. Oest
210   $aBerlin$cSpringer Verlag$d1980
215   $aXII, 630 p.$d25 cm
225 2 $aLecture notes in computer science$v98
410   $12001$aLecture notes in computer science$v98
676   $a001.6424
702  1$aOEST,$bO.N.
702  1$aBJORNER,$bD.
801  0$aIT$bsalbc$gISBD
912   $a990000483010203316
951   $a001 LNCS 98A$b14362 SM$c001 LNCS$d00101444
951   $a001 LNCS 98B$b10640 SM$c001 LNCS$d00101444
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010530$lUSA01$h1537
979   $c20020403$lUSA01$h1657
979   $aPATRY$b90$c20040406$lUSA01$h1633
996   $aTowards a formal description of ADA$9888434
997   $aUNISA