Assertion-Based Design

• Main Author: Foster, Harry
• Other Authors: Krolnik, Adam, Lacey, David
• Format: Electronic Kit Book
• Language: English
• Published: Boston, MA Springer Science + Business Media, Inc. 2005
• Edition: Second Edition
• Subjects: Engineering; Computer engineering; Computer aided design; Electronic and Computer Engineering; Computer-Aided Engineering (CAD, CAE) and Design