Computer Aided VerificationDavid L. Dill

Computer Aided Verification

David L. Dill · 2014

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2014
Publisher: Springer
Editions: 1
Pages: 496
ISBN: 9783662194027

Data source: Wikidata

More by David L. Dill

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994David L. Dill

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994

David L. Dill · 1994

Trace theory for automatic hierarchical verification of speed-independent circuitsDavid L. Dill

Trace theory for automatic hierarchical verification of speed-independent circuits

David L. Dill · 2003