Formal methods in computer-aided design
Subtitle: FMCAD 2007 : proceedings  :  November 11-14, 2007, Austin, Texas
By: [Jason Baumgartner, Mary Sheeran, chairs] ;  IEEE Computer Society.
Contributors: Baumgartner, Jason.; Sheeran, Mary, 1959-; IEEE Computer Society.
Publisher: IEEE Computer Society
Published: 2007
Place of publication: Las Alamotos, Calif
Language: eng
Number of pages: 244
ISBN-13: 9780769530239
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: "FMCAD 2007 is the seventh in a series of conferences ..."--Pref.

"IEEE Computer Society Order Number P3023." -- T.p. verso.

Includes bibliographical references and author index.