Reset Filters
Literature type: Book

Cover is for reference only

Formal methods in computer-aided design：4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: FMCAD 2002 (2002 Portland, Or.)
Group Author: Aagaard Mark, 1966-; O'Leary John W.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2002.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 2517
Subjects:
Digital integrated circuits > Computer-aided design
Integrated circuits > Verification.
Formal methods (Computer science)
Digital integrated circuits > Design and construction > Mathematics
Carrier Form: xi, 398 p.: ill. ; 24 cm.
Publication Frequency: Also available via the World Wide Web.
ISBN: 3540001166 (softcover : alk. paper)
Index Number: TP391
CLC: TP391.72-532
Call Number: TP391.72-532/F723/2002
Contents: Includes bibliographical references and index.

Related Book Recommendations