Towards a formal Description of Ada Ed. by Dines Bjørner and O. N. Oest
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin, Heidelberg, New York
Springer
1980
|
| Schriftenreihe: | Lecture notes in computer science
98 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
| eBook bestellen: |
|
| Buch ausleihen: | zum Bestellen einloggen |
| Beschreibung: | DESCRIPTION formal Ada -- Towards a formal Description of Ada. Ed. by -- D[ines]Bjørner and O.N.Oest. - Berlin, Hei- -- delberg, New York: Springer 1980. XII, 630 S. -- m. Diagr. 8° -- (Lecture notes in computer science. 98.) -- 1981:2289. Kr. |
|---|---|
| Beschreibung: | XII, 630 S. m. Diagr. 8° |