Vai al contenuto principale della pagina
Autore: | International conference on formal methods in computer-aided design <4. ; 2002 ; Portland, Oregon> |
Titolo: | Formal methods in computer-aided design : 4. International conference, FMCAD 2002 : Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.) |
Pubblicazione: | Berlin [etc.] : Springer, copyr. 2002 |
Descrizione fisica: | XI, 397 p. : ill. ; 20 cm |
Disciplina: | 621.39 |
Soggetto topico: | Circuiti integrati Congressi 2002 |
Persona (resp. second.): | AAGAARD, Mark D. |
O'LEARY, John W. | |
Note generali: | Il nome formale dell'ente si ricava dalla pref. |
Titolo autorizzato: | Formal methods in computer-aided design |
ISBN: | 3-540-00116-6 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990001117220203316 |
Lo trovi qui: | Univ. di Salerno |
Collocazione: | 001 LNCS (2517) |
Opac: | Controlla la disponibilità qui |
Biblioteca: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |