Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
- Author / Creator
- Conferences
- FMCAD '96 (1996 : Palo Alto, Calif.)
- Available as
- Online
- Physical
Details
Checking for availability...
- Creator
- Mandayam Srivas, Albert Camilleri, eds
- Included Title
-
- Springer computer science e-book collection
- Format
- Books
- Language
- English
- Contributors
- Publication
-
- Berlin ; New York : Springer, [1996]
- ©1996
- Physical Details
-
- ix, 470 pages : illustrations ; 24 cm
- ISBNs
- 9783540619376, 3540619372
- OCLC
- ocm35688096
- Includes bibliographical references and index.
- Also available online.