Taxonomies for the Development and Verification of Digital Systems

Taxonomies for the Development and Verification of Digital Systems

by Brian Bailey (Editor), Grant Martin (Editor), ThomasAnderson (Editor)

Synopsis

Includes 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.

$154.51

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 180
Publisher: Springer
Published: 10 May 2005

ISBN 10: 0387240195
ISBN 13: 9780387240190