| 书目名称 | Formal Methods in Computer-Aided Design |
| 副标题 | First International |
| 编辑 | Mandayam Srivas,Albert Camilleri |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD ‘96, held in Palo Alto, California, USA, in November 1996..The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing. |
| 出版日期 | Conference proceedings 1996 |
| 关键词 | Circuit Design; Computer-Aided Design; Computer-Aided Verification; Formal Methods; Formal Spezification |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0031795 |
| isbn_softcover | 978-3-540-61937-6 |
| isbn_ebook | 978-3-540-49567-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1996 |
发表于 2025-3-21 17:12:23
