Formal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas

Gespeichert in:
Hauptverfasser:
Baumgartner, Jason (MitwirkendeR), Sheeran, Mary (MitwirkendeR)
Körperschaften:
FMCAD 2007 (Corporate Author), FMCAD 2007 Austin, Tex., IEEE Computer Society (Content Provider)
Format:
Tagungsbericht Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society 2007
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
ISBN:
9781509086320
1509086323
Schlagworte:
Digital integrated circuits > Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
Formal methods (Computer science) > Design and construction > Mathematics > Congresses.
Digital integrated circuits > Congresses.
Electrical & Computer Engineering
Electrical Engineering
Engineering & Applied Sciences
Bezugswerke:
Links: