Formal methods in computer-aided design eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings / edited by Alessandro Cimatti, Robert Jones.

Author/creator FMCAD 2008
Other author Cimatti, Alessandro.
Other author Jones, Robert B. (Robert Brent), 1969-
Other author IEEE Xplore (Online service)
Format Electronic
Publication InfoPiscataway, N.J. : IEEE,
Descriptionviii, 232 p. : ill. ; 28 cm.
Supplemental ContentFull text available from IEEE Electronic Library (IEL) Conference Proceedings
Supplemental ContentFull text available from IEEE Electronic Library (IEL)
Supplemental ContentFull text available from IEEE Conference Proceedings Archive 2005-2009
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.

General noteIssues for 2010-2012, 2014- cataloged as a serial in LC.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009289728
ISBN9781424427352