Formal methods in computer-aided design first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri, eds.

Author/creator FMCAD '96
Other author Srivas, Mandayam.
Other author Camilleri, Albert.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionix, 470 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
Supplemental ContentFull text available from Springer Books
Subjects
Digital integrated circuits--Computer-aided design. --Congresses.
Automatic theorem proving--Congresses.
Integrated circuits--Verification. --Congresses.
Computer engineering--Computer-aided design. --Congresses.
Formal methods (Computer science)--Congresses.

SeriesLecture notes in computer science ; 1166
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 96039129
ISBN3540619372 (alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available