Treffer: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design

Titel:

Verantwortlich:

Körperschaft:

Veröffentlicht:

Austin, TX : FMCAD Inc, 2010

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (278 pages)

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

Title from The ACM Digital Library

Zusatz-Informationen