David L. Dill

Beliebte Artikel von David L. Dill

Alle Angebote anzeigen

Computer Aided Verification: 6th International Conference, CAV ’94, Stanford, California, USA, June 21-23, 1994. Proceedings

Artikelpreise ab

EUR 26,45

14 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)
Dill, David L.

Artikelpreise ab

EUR 28,88

20 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch, Erstausgabe