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 6-8 săpt. -20%