Cover is for reference only

Formal methods in computer-aided design：third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: FMCAD 2000 (2000 Austin, Tex.) (Austin, Tex.))
Group Author: Hunt Warren A., 1958-; Johnson Steven D.; (Steven Dexter)
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2000.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1954
Subjects:
Computer engineering > Computer-aided design
Integrated circuits > Verification.
Carrier Form: xi, 537 p.: ill. ; 24 cm.
ISBN: 3540412190 (softcover : alk. paper)
Index Number: TP391
CLC: TP391.72-532
Call Number: TP391.72-532/F723/2000
Contents: Includes bibliographical references and index.

Related Book Recommendations