Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA

Gespeichert in:
Körperschaften:
FMCAD '06 (Corporate Author), FMCAD '06 San Jose, Calif., IEEE Computer Society (Content Provider)
Format:
Tagungsbericht Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society 2006
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
ISBN:
9781509091843
150909184X
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: