Taxonomies for the Development and Verification of Digital Systems (Lecture Notes in Computer Science, #50)

Thomas Anderson (Editor), Brian Bailey (Editor), and Grant Martin (Editor)

0 ratings • 0 reviews • 0 shelved
Book cover for Taxonomies for the Development and Verification of Digital Systems

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

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.

  • ISBN10 1280234083
  • ISBN13 9781280234088
  • Publish Date 1 January 2005
  • Publish Status Active
  • Out of Print 25 March 2015
  • Publish Country US
  • Imprint Springer Us
  • Pages 179
  • Language English