Formal methods in computer-aided design
Subtitle: third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings
By: Warren A. Hunt, Jr., Steven D. Johnson, eds.
Contributors: Hunt, Warren A., 1958-; Johnson, Steven D.
Series: Lecture notes in computer science -- 1954.
Publisher: Springer
Published: 2000
Place of publication: New York
Language: eng
Number of pages: 537
Subjects: Computer engineering -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses
Genres: Congresses.
Notes: Includes index.