LEADER 00966nam0-22003251i-450-
001 990000470460403321
005 20090319103900.0
010   $a3-540-10283-3
035   $a000047046
035   $aFED01000047046
035   $a(Aleph)000047046FED01
035   $a000047046
100   $a20020821d1980----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $aTowards a formal description of Ada$fedited by D. Bjorner, O. N. Oest
210   $aBerlin$cSpringer-Verlag$d1980
215   $a630 p.$cill.$d24 cm
225 1 $aLecture notes in computer science$v98
610 0 $aLinguaggi di programmazione$aADA
676   $a005.133
700  1$aBjørner,$bDines$f<1937- >$0434385
701  1$aOest,$bO. N.$0491516
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000470460403321
952   $a10 P.T. 363$b162 DIS$fDINEL
959   $aDINEL
996   $aTowards a formal description of Ada$9331976
997   $aUNINA