| 書(shū)目名稱(chēng) | Computer-Aided Reasoning | | 副標(biāo)題 | ACL2 Case Studies | | 編輯 | Matt Kaufmann,Panagiotis Manolios,J. Strother Moor | | 視頻video | http://file.papertrans.cn/235/234450/234450.mp4 | | 叢書(shū)名稱(chēng) | Advances in Formal Methods | | 圖書(shū)封面 |  | | 描述 | .Computer-Aided Reasoning: ACL2 Case Studies. illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are .sanitized. industrial projects. The papers deal with a wide variety of ideas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. .Computer-Aided Reasoning: ACL2 Case Studies. is meant for two audiences: those looking for innovative ways to design, build, and maintain hardware and software systems faster and more reliably, and those wishing to learn how to do this. The former audience includes project managers and students in survey-oriented courses. The latter audience includes students and professionals pursuing rigorous approaches to hardware and software engineering or formal methods. .Computer-Aided Reasoning: ACL2 Case Studies. can be used in graduate and upper-division undergraduate courses on Software Engineering, | | 出版日期 | Book 2000 | | 關(guān)鍵詞 | Compiler; Text; artificial intelligence; automated reasoning; intelligence; microprocessor; verification | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4757-3188-0 | | isbn_softcover | 978-1-4419-4981-3 | | isbn_ebook | 978-1-4757-3188-0Series ISSN 1567-7338 | | issn_series | 1567-7338 | | copyright | Springer Science+Business Media New York 2000 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 19:21
發(fā)表于 2025-3-21 18:34:48
