David L. Dill

David L. Dill

3 results found
List viewGrid view
Sort By:
1.
Computer Aided VerificationNR
No Review Yet
₹4,602
Binding:
Paperback
Release:
12 Mar 2014
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
3.
Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsNR
Publisher: Mit Press
No Review Yet
₹3,197
Binding:
Paperback
Release:
05 Nov 2018
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
No more records found