Taxonomies for the Development and Verification of Digital Systems

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
2005
Author:
Brian Bailey, Grant Martin, Thomas Anderson
ISBN:
9780387240213
Related ISBNs:
9780387240190
Publisher:
Springer US
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2021-02-07
Usage restrictions:
Copyright
Copyright date:
2005
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Nonfiction, Technology