David L. Dill – författare
Visar alla böcker från författaren David L. Dill. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Häftad, Engelska, 2003
679 kr
Skickas inom 3-6 vardagar
Computer Aided Verification
6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Häftad, Engelska, 1994
719 kr
Skickas inom 10-15 vardagar