Formal methods in computer-aided design
Subtitle: 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, proceedings
By: Mark D. Aagaard, John W. O'Leary (eds.).
Contributors: Aagaard, Mark, 1966-; O'Leary, John W.
Series: Lecture notes in computer science -- 2517.
Publisher: Springer
Published: 2002
Place of publication: New York
Language: eng
Number of pages: 398
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: Includes bibliographical references and index.