David L. Dill – författare

Visar alla böcker från författaren David L. Dill. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

   Av David L. Dill

   Häftad, 2003

   540 kr

   Lägg i varukorg

2. 

   Computer Aided Verification

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

   Av David L. Dill

   Häftad, 1994

   566 kr

   Lägg i varukorg

   This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important …

3. 

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

   Av David L. Dill

   2014

   672 kr

   Lägg i varukorg