Taxonomies for the Development and Verification of Digital Systems
MIA KARTS BOOKS
- Vendor: Mia Karts
Taxonomies for the Development and Verification of Digital Systems
Book Details
- Author
- Brian Bailey
- Publisher
- Springer
- Format
- Hardcover
- Language
- English
- Category
- Drafting & Presentation
- Condition
- New
- ISBN-13
- 9780387240190
- ISBN-10
- 0387240195
Free U.S. shipping on all orders. International shipping is calculated at checkout.
ISBN: 0387240195
Author: Bailey, Brian
Condition: New
Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementationConsidering both the hardware and software components of the systemAlso covers the emerging area of platform-based designProvides both knowledge of models and terms, and understanding of these models and how they are used.
Have a question?

Taxonomies for the Development and Verification of Digital Systems

