Record Nr.

UNISA996204380203316

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

1-5090-7875-4

1-4244-2736-3

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