Details
- Autor(en) / Beteiligte
- Titel
- Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings
- Auflage
- 1
- Ort / Verlag
- Berlin, Heidelberg: Springer Berlin / Heidelberg
- Erscheinungsjahr
- 1998
- Link zum Volltext
- Quelle
- Alma/SFX Local Collection
- Sprache
- Englisch
- Identifikatoren
- ISBN: 3540651918, 9783540651918, 9783662204689, 3662204681ISSN: 0302-9743eISSN: 1611-3349DOI: 10.1007/3-540-49519-3Titel-ID: cdi_springer_books_10_1007_3_540_49519_3
- Format
- –
- Schlagworte
- Automatic theorem proving-Congresses, Complexity, Computer aided design, Computer engineering-Computer-aided design-Congresses, Computer Hardware, Computer Science, Computer-Aided Engineering (CAD, CAE) and Design, Congresses, Digital integrated circuits, Digital integrated circuits-Computer-aided design-Congresses, Engineering, Formal methods (Computer science)-Congresses, Integrated circuits-Verification-Congresses, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages