Ada in Europe : 2nd international conference : Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint (ed.)
| 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.)
| 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 | ||
| ||