Formal Methods in Computer-Aided Design
Subtitle: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science)
Contributors: Alan J. Hu (Editor); Andrew K. Martin (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 22, 2004
Language: eng
Format: Paperback
Number of pages: 445
ISBN-13: 9783540237389
Subjects: Computer aided design (CAD); Programming - Software Development; Computers - General Information; Computers; Computer Books: General; Hardware - Personal Computers - General; Logic Design; Computers / Personal Computers & Microcomputers / General
First sentence: Modern integrated circuits can embody hugely complex systems.