Taxonomies for the Development and Verification of Digital Systems

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

New
Hardcover
2005
$162.80

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.

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.

$162.80

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 180
Publisher: Springer
Published: 10 May 2005
ISBN 10: 0387240195
ISBN 13: 9780387240190

Taxonomies for the Development and Verification of Digital Systems

New

$162.80

Synopsis

$162.80

More Information