Towards a formal description of Ada /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Bjørner, D. (Dines), 1937-, Oest, O. N.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer-Verlag, 1980.
Σειρά:Lecture notes in computer science ; 98.
Θέματα:
Περιγραφή
Φυσική περιγραφή:xii, 630 p. ; 25 cm.
Βιβλιογραφία:"References and bibliography": p. 626-630.
ISBN:3540102833
0387102833