David L. Dill – författare

Visar alla böcker från författaren .

2 produkter

Kategorier

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

AvDavid L. Dill

Häftad, Engelska, 2003

689 kr

Skickas inom 3-6 vardagar

David L. Dill - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvDavid L. Dill

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar