David L. Dill – författare

Visar alla böcker från författaren David L. Dill.

2 produkter

Kategorier

2 produkter

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

AvDavid L. Dill

Häftad, Engelska, 2003

659 kr

Skickas inom 3-6 vardagar

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