https://www.ebooknetworking.net/books_detail-0262541572.html

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)

Name: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)
Author: David L. Dill
ISBN: 9780262541572

AuthorDavid L. Dill

PublisherThe MIT Press

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

26.00 USD

Buy New on Amazon 🇺🇸

Book Details

Author(s)David L. Dill

PublisherThe MIT Press

ISBN / ASIN0262541572

ISBN-139780262541572

MarketplaceUnited States 🇺🇸

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)

Book Details

More Books by David L. Dill