| 書目名稱 | Formal Methods in Computer-Aided Design |
| 副標(biāo)題 | First International |
| 編輯 | Mandayam Srivas,Albert Camilleri |
| 視頻video | http://file.papertrans.cn/346/345827/345827.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 06:12
發(fā)表于 2025-3-21 17:12:23
