| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996211054303316 |
|
|
Titolo |
Formal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE Computer Society, 2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Digital integrated circuits - Computer-aided design |
Integrated circuits - Verification |
Formal methods (Computer science) - Design and construction - Mathematics |
Digital integrated circuits |
Electrical & Computer Engineering |
Electrical Engineering |
Engineering & Applied Sciences |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
| |