Taxonomies for the Development and Verification of Digital Systems
ISBN-10:
0387240195
ISBN-13:
9780387240190
Edition: 2005
Description:
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 implementation
Considering both the hardware and software components of the system
Also covers the emerging area of platform-based design
Provides both knowledge of models and terms, and understanding of these models and how they are used.
Low Price Summary
Top Bookstores
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.
DISCLOSURE: We're an eBay Partner Network affiliate and we earn commissions from purchases you make on eBay via one of the links above.
DISCLOSURE: We're an eBay Partner Network affiliate and we earn commissions from purchases you make on eBay via one of the links above.
Want a Better Price Offer?
Set a price alert and get notified when the book starts selling at your price.
Want to Report a Pricing Issue?
Let us know about the pricing issue you've noticed so that we can fix it.