Towards a formal description of Ada / edited by D. Bjorner, O. N. Oest |
Autore | Bjørner, Dines <1937- > |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1980 |
Descrizione fisica | 630 p. : ill. ; 24 cm |
Disciplina | 005.133 |
Altri autori (Persone) | Oest, O. N. |
Collana | Lecture notes in computer science |
Soggetto non controllato | Linguaggi di programmazione - ADA |
ISBN | 3-540-10283-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000470460403321 |
Bjørner, Dines <1937- >
![]() |
||
Berlin : Springer-Verlag, 1980 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|