Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings

Gespeichert in:
Hauptverfasser:
Cimatti, Alessandro, Jones, Robert B. (MitwirkendeR)
Körperschaften:
FMCAD 2008 (Corporate Author), FMCAD 2008 Portland, Or.
Weitere Verfasser:
Cimatti, Alessandro (MitwirkendeR)
Format:
Tagungsbericht Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE 2008
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
ISBN:
9781509078752
1509078754
9781424427369
1424427363
Schlagworte:
Digital integrated circuits > Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
Formal methods (Computer science) > Mathematics > Design and construction > Congresses.
Digital integrated circuits > Congresses.
Electrical & Computer Engineering
Engineering & Applied Sciences
Electrical Engineering
Bezugswerke:
Links: