分享给好友:
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow
价格
元 403
不含税
远程仓调货
预计送达时间 年6月16日 - 年7月2日
添加至iMusic心愿单
其他版本：
Functional Data Structures and Algorithms: A Proof Assistant Approach
Tobias Nipkow
Discover data structures and algorithm design in functional programming through rigorous, machine-checked Isabelle proofs. Topics span sorting, searching, priority queues, dynamic programming, splay trees, graph and string algorithms, Huffman coding, and alpha-beta game tree pruning techniques.
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2025年9月30日 |
| ISBN13 | 9798400731594 |
| 出版商 | Association of Computing Machinery,U.S. |
| 页数 | 418 |
| 商品尺寸 | 150 × 220 × 10 mm · 712 g |
Tobias Nipkow的更多作品
显示全部![Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/591/9783319357591.jpg?tobias-nipkow-2016-concrete-semantics-with-isabelle-hol-paperback-book&class=scaled&v=1512057389)
![Cover for Tobias Nipkow · Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)](https://imusic.com.cn/local-image/images/item/original/767/9783540433767.jpg?tobias-nipkow-2002-isabelle-hol-a-proof-assistant-for-higher-order-logic-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1550702847)
Mere med samme udgiver
![Cover for Ronald M. Baecker · Digital Dreams Have Become Nightmares: What We Must Do (Paperback Book) [Second edition] (2024)](https://imusic.com.cn/local-image/images/item/original/680/9798400717680.jpg?ronald-m-baecker-2024-digital-dreams-have-become-nightmares-what-we-must-do-paperback-book&class=scaled&v=1773847087)
查看Tobias Nipkow的全部作品 ( 例如 Paperback Book 及 Hardcover Book )