Taxonomies for the Development and Verification of Digital Systems

Taxonomies for the Development and Verification of Digital Systems
Format
Paperback
Publisher
Springer-Verlag New York Inc.
Country
United States
Published
29 October 2010
Pages
180
ISBN
9781441936813

Taxonomies for the Development and Verification of Digital Systems

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

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.

This item is not currently in-stock. It can be ordered online and is expected to ship in 7-14 days

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.