Celebrate our new site and save $15 Get code »

Taxonomies for the Development and Verification of Digital Systems - Bailey, Brian (Editor), and Martin, Grant (Editor), and Anderson, Thomas (Editor)

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 ... Read More

Taxonomies for the Development and Verification of Digital Systems 2010, Springer-Verlag New York Inc., New York, NY

ISBN-13: 9781441936813

Trade paperback

Select
Taxonomies for the Development and Verification of Digital Systems 2005, Springer, New York, NY

ISBN-13: 9780387240190

Hardcover

Select