Trace Theory for Automatic Hierarchical Verification of Speed–Independent Circuits ACM Distinguished Dissertation Autor David L. Dill 16 mar 2003 Paperback Preț: 230.26 lei 6-8 săpt.