Taxonomies For The Development And Verification Of Digital Systems
Author :Brian Bailey Grant Martin Thomas Anderson
Condition : New
Binding : Hard-Back-Novel
Pages : N/A
Publisher : Springer
Language : N/A
Publication Year : N/A
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.
Author :Brian Bailey Grant Martin Thomas Anderson
Condition : New
Binding : Hard-Back-Novel
Pages : N/A
Publisher : Springer
Language : N/A
Publication Year : N/A
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.
