Computer Aided Verification Editat de David L. Dill iun 1994 Paperback Preț: 332.18 lei 415.23 lei 43-57 zile -20%
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits Autor David L. Dill 17 mar 2003 Paperback Preț: 196.73 lei 245.91 lei 43-57 zile -20%