David L. Dill - Böcker

Visar alla böcker från författaren David L. Dill.
2 produkter
David L. Dill - Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, Häftad

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Av David L. Dill

Häftad, Engelska, 2003

669 kr

Skickas inom 3-6 vardagar
David L. Dill - Computer Aided Verification, Häftad
Del 818 - Lecture Notes in Computer Science

Computer Aided Verification

Av David L. Dill

Häftad, Engelska, 1994

719 kr

Skickas inom 10-15 vardagar