Advanced Formal Verification
Edition: 1 edition
Publisher: Springer
Published: January 31, 2004
Language: eng
Format: Hardcover
Number of pages: 260
ISBN-13: 9781402077210
Subjects: Philosophy; Science/Mathematics; Electronic circuits; Technology; Technology & Industrial Arts; Testing; CAD-CAM - General; Electronics - Circuits - General; Engineering - Electrical & Electronic; Computers / CAD-CAM / General; Computers-CAD-CAM - General; Technology / Engineering / Electrical; Technology-Electronics - Circuits - General; Decision trees; Computer Science