Formal methods in computer-aided design
Subtitle: 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
By: Alan J. Hu, Andrew K. Martin (eds.).
Contributors: Hu, Alan J.; Martin, Andrew K.
Series: Lecture notes in computer science,; 3312
Publisher: Springer
Published: 2004
Place of publication: Berlin
Language: eng
Number of pages: 444
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.
Other titles: FMCAD 2004
Notes: Includes bibliographical references and index.
Also issued online.