Formal Methods in Computer-Aided Design
Contributors: Mark D. Aagaard (Editor); John W. O'Leary (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 5, 2002
Language: eng
Format: Paperback
Number of pages: 399
ISBN-13: 9783540001164
Subjects: Computer aided design (CAD); Programming - Software Development; Formal Language Theory; Computers; Verification; General; Digital Integrated Circuit Design; Computers - General Information; Digital integrated circuits; Computer Books: General; Computer Engineering; Hardware - Personal Computers - General; Computers / Personal Computers & Microcomputers / General; Formal methods (Computer science); Computer Science; Integrated circuits; Computer-aided design; Congresses