Cover is for reference only

Formal methods in computer-aided design：5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings

Saved in:
Bibliographic Details
Corporate Authors: FMCAD 2004 (2004 Austin, Tex.)
Group Author: Hu Alan J.; (Alan John); Martin Andrew K.
Published: Springer,
Publisher Address: Berlin
Publication Dates: 2004.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3312
Subjects:
Digital integrated circuits > Computer-aided design
Integrated circuits > Verification.
Formal methods (Computer science)
Digital integrated circuits > Design and construction > Mathematics
Carrier Form: xi, 444 p.: ill. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 3540237380 (pbk.)
Index Number: TP391
CLC: TP391.72-532
TN402-532
Call Number: TP391.72-532/F723/2004
Contents: Includes bibliographical references and index.

Related Book Recommendations