Author: David L. Dill
Author's info and books
Information about author David L. Dill from several data sources.
AI-generated bio of "David L. Dill":
Books Results
Source: The Open Library
David L. Dill Books
Books writen by author David L. Dill from The Open Library
1Trace theory for automatic hierarchical verification of speed-independent circuits
By David L. Dill
“Trace theory for automatic hierarchical verification of speed-independent circuits” Metadata:
- Title: ➤ Trace theory for automatic hierarchical verification of speed-independent circuits
- Author: David L. Dill
- Language: English
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Trace theory for automatic hierarchical verification of speed-independent circuits at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994
By David L. Dill
“Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994” Metadata:
- Title: ➤ Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994
- Author: David L. Dill
- Language: English
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Computer Aided Verification
By David L. Dill
“Computer Aided Verification” Metadata:
- Title: Computer Aided Verification
- Author: David L. Dill
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computer Aided Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.