Cărți de David L. Dill

Trace Theory for Automatic Hierarchical Verification of Speed–Independent Circuits

ACM Distinguished Dissertation

Autor David L. Dill

16 mar 2003

Preț: 235^.60 lei

6-8 săpt.

Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Lecture Notes in Computer Science, nr. 818

Editat de David L. Dill

iun 1994

Preț: 336^.55 lei 420^.68 lei

6-8 săpt.

-20%