Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited by WorkBot
January 23, 2010 | History

Formal methods in computer-aided design 1 edition

Formal methods in computer-aided design
FMCAD 2002 (2002 Portland, Or. ...

Read

No readable version available.

Buy

Lists

You could add Formal methods in computer-aided design to a list if you log in.
There is only 1 edition record, so we'll show it here...  •  Add edition?

Formal methods in computer-aided design
4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, proceedings
Mark D. Aagaard, John W. O'Leary (eds.).

Published 2002 by Springer in New York .
Written in English.

Edition Notes

Includes bibliographical references and index.

Series
Lecture notes in computer science -- 2517.
Genre
Congresses.

Classifications

Library of Congress
TK7874.65 .F53 2002, TK7874.65 .F53 2002

The Physical Object

Pagination
xi, 398 p. :
Number of pages
398

ID Numbers

Open Library
OL18179220M
ISBN 10
3540001166
LC Control Number
2002036593
Goodreads
6516382

History Created December 11, 2009 · 2 revisions
Download catalog record: RDF / JSON

January 23, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page