Formal methods in computer-aided design second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley (eds.).

Author/creator FMCAD '98
Other author Gopalakrishnan, Ganesh.
Other author Windley, Phillip J., 1958-
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionix, 528 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
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, 0302-9743 ; 1522
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 98046729
ISBN3540651918 (soft cover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available