Record Nr.

UNINA9910145395803321

Titolo

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

ISBN

9781509078752

1509078754

9781424427369

1424427363

Disciplina

621.39/2

Soggetti

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

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph