| 書(shū)目名稱(chēng) | Computer-Aided Reasoning | | 副標(biāo)題 | An Approach | | 編輯 | Matt Kaufmann,Panagiotis Manolios,J. Strother Moor | | 視頻video | http://file.papertrans.cn/235/234451/234451.mp4 | | 叢書(shū)名稱(chēng) | Advances in Formal Methods | | 圖書(shū)封面 |  | | 描述 | .Computer-Aided Reasoning: An Approach. is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software engineering or formal methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support. It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry. .Current hardware and software systems are often very complex and the trend is towards increased complexity. Many of these systems are of critical importance; therefore making sure that they behave as expected is also of critical importance. By modeling computing systems mathematically, we obtain models that we can prove behave correctly. The complexity of computing systems makes such proofs very long, complicated, and error-prone. To further increase confidence in our reasoning, we can use a computer program to check our proofs and even to automate some of their construction. .In this book we present: ..A practical functional programming language closely related to C | | 出版日期 | Book 2000 | | 關(guān)鍵詞 | Common Lisp; Text; artificial intelligence; automated reasoning; complexity; formal logic; hardware verifi | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4615-4449-4 | | isbn_ebook | 978-1-4615-4449-4Series 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 23:18
發(fā)表于 2025-3-21 16:57:42
