top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings
Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings
Pubbl/distr/stampa [Place of publication not identified], : IEEE, 2008
Disciplina 621.39/2
Soggetto topico Digital integrated circuits - Computer-aided design
Integrated circuits - Verification
Formal methods (Computer science) - Mathematics - Design and construction
Digital integrated circuits
Electrical & Computer Engineering
Engineering & Applied Sciences
Electrical Engineering
ISBN 1-5090-7875-4
1-4244-2736-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996204380203316
[Place of publication not identified], : IEEE, 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings
Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings
Pubbl/distr/stampa [Place of publication not identified], : IEEE, 2008
Disciplina 621.39/2
Soggetto topico Digital integrated circuits - Computer-aided design
Integrated circuits - Verification
Formal methods (Computer science) - Mathematics - Design and construction
Digital integrated circuits
Electrical & Computer Engineering
Engineering & Applied Sciences
Electrical Engineering
ISBN 9781509078752
1509078754
9781424427369
1424427363
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910145395803321
[Place of publication not identified], : IEEE, 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA
Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA
Pubbl/distr/stampa [Place of publication not identified], : IEEE Computer Society, 2006
Disciplina 621.3815
Soggetto topico Digital integrated circuits - Computer-aided design
Integrated circuits - Verification
Formal methods (Computer science) - Mathematics - Design and construction
Digital integrated circuits
Electrical & Computer Engineering
Engineering & Applied Sciences
Electrical Engineering
ISBN 1-5090-9184-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996198857703316
[Place of publication not identified], : IEEE Computer Society, 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA
Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA
Pubbl/distr/stampa [Place of publication not identified], : IEEE Computer Society, 2006
Disciplina 621.3815
Soggetto topico Digital integrated circuits - Computer-aided design
Integrated circuits - Verification
Formal methods (Computer science) - Mathematics - Design and construction
Digital integrated circuits
Electrical & Computer Engineering
Engineering & Applied Sciences
Electrical Engineering
ISBN 9781509091843
150909184X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910142678403321
[Place of publication not identified], : IEEE Computer Society, 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui