This book is currently unavailable on Open Library, check out available alternatives.
An edition of Formal methods in computer-aided design (1998)

Formal methods in computer-aided design

second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

by

Cover of: Formal methods in computer-aided design by FMCAD '98 (1998 Palo Alto, Calif.), FMCAD '98 (1998 Palo Alto, Calif.)
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
January 10, 2026 | History
Edit
An edition of Formal methods in computer-aided design (1998)

Formal methods in computer-aided design

second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
528

Check nearby libraries

Buy this book

Subjects

Congresses Computer-aided design Digital integrated circuits Computer engineering Verification Automatic theorem proving Formal methods (Computer science) Integrated circuits Design and construction Data processing Circuits intégrés numériques Conception et construction Informatique Congrès Circuits intégrés Vérification Conception assistée par ordinateur Théorèmes Démonstration automatique Micro-elektronica CAD Automatische bewijsvoering Entwurfsautomation Formale Methode Model Checking Verifikation Kongress Computacao aplicada
Edition Availability
Cover of: Formal methods in computer-aided design
Formal methods in computer-aided design: second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
1998, Springer
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
Berlin, New York
Series
Lecture notes in computer science,, 1522
Genre
Congresses.

Classifications

Dewey Decimal Class
621.39/2
Library of Congress
TK7874.65 .F53 1998, QA75.5-76.95

The Physical Object

Pagination
ix, 528 p. :
Number of pages
528

Edition Identifiers

Open Library
OL384187M
ISBN 10
3540651918
LCCN
98046729
OCLC/WorldCat
504583792, 40043692
Deutsche National Bibliothek
954681290
Goodreads
3866175

Work Identifiers

Work ID
OL1986670W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON