David L. Dill
Artículos populares por David L. Dill
Ver todas las ofertas-
Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings (Lecture Notes in Computer Science)
Precios de los artículos a partir de
Ver 13 ofertasEUR 26,51
-
Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits (Acm Distinguished Dissertations)
Dill, David L.
Precios de los artículos a partir de
Ver 20 ofertasEUR 28,94
