Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits Autor David L. Dill 17 mar 2003 Paperback Preț: 207.55 lei 259.44 lei 6-8 săpt. -20%