Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings
- Author / Creator
- Conferences
- FMCAD 2002 (2002 : Portland, Or.)
- Available as
- Online
- Physical
Details
Checking for availability...
- Creator
- Mark D. Aagaard, John W. O'Leary (eds.)
- Included Title
-
- Springer Computer Science e-book collection
- Format
- Books
- Language
- English
- Contributors
- Publication
-
- Berlin ; New York : Springer, [2002]
- ©2002
- Physical Details
-
- xi, 398 pages : illustrations ; 24 cm
- ISBNs
- 9783540001164, 3540001166
- OCLC
- ocm50844442
- Includes bibliographical references and index.
- Also available online.