Formal methods in computer-aided design
Subtitle: Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA
By: [Aarti Gupta, Panagiotis Manolios, chairs] ;  IEEE Computer Society.
Contributors: IEEE Computer Society.
Publisher: IEEE Computer Society
Published: 2006
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 193
ISBN-13: 9780769527079
Subjects: Digital integrated circuits -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Digital integrated circuits -- Design and construction -- Mathematics -- Congresses
Genres: Congresses.
Notes: "IEEE Computer Society Order Number P2707" -- T.p. verso.

Includes bibliographical references and author index.