Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Editat de David L. Dill
iun 1994
Paperback
Preț: 329.25 lei 411.55 lei
6-8 săpt.
-20%
Cărți de David L. Dill
Trace Theory for Automatic Hierarchical Verification of Speed–Independent Circuits
Autor David L. Dill
16 mar 2003
Paperback
Preț: 230.26 lei
6-8 săpt.