Ada in Europe : 2nd international conference : Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint (ed.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
Descrizione fisica | XI, 455 p. : ill. ; 24 cm |
Disciplina | 005133 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - frankfurt/main - 1995
elaboratori elettronici - programmazione - congressi - 1995 linguaggio ada - congressi - 1995 |
ISBN | 3-540-60757-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000211400203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Correct hardware design and verification methods : Advanced research working conference CHARME'95 : Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati ... [etc.] (eds.) |
Autore | Advanced research working conference CHARME'95 : 1995 |
Pubbl/distr/stampa | Berlin [etc.] : Spriger-Verlag, copyr. 1995 |
Descrizione fisica | VIII, 342 p. : ill. ; 24 cm. |
Disciplina | 62139 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - frankfurt/main - 1995
hardware - architettura - congressi - 1995 hardware - verifica - congressi - 1995 |
ISBN | 3-540-60385-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000210910203316 |
Advanced research working conference CHARME'95 : 1995
![]() |
||
Berlin [etc.] : Spriger-Verlag, copyr. 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|