close menu
Bookswagon-24x7 online bookstore
close menu
My Account
David L Dill

David L DillDavid L. Dill received his doctorate from Carnegie Mellon University and is Assistant Professor in the Computer Science Department at Stanford University.

4 results found
List viewGrid view
Sort By:
1.
Computer Aided VerificationNR
Publisher: Springer
No Review Yet
₹4,919
Binding:
Paperback
Release:
15 Jan 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 Ltd
No Review Yet
₹3,324
Binding:
Paperback
Release:
17 Mar 2003
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
4.
Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits
Publisher: MIT Press Ltd
No Review Yet
₹2,462
Binding:
Hardback
Release:
07 Sep 1989
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA