Tobias Nipkow
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow

Name: Functional Data Structures and Algorithms: A Proof Assistant Approach
Price: 9475 JPY
Availability: OutOfStock
Author: Tobias Nipkow

価格

¥ 9.475

税抜

遠隔倉庫からの取り寄せ

発送予定日年6月16日 - 年7月2日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

他の形態でも入手可能：

Hardcover Book (2025) ¥ 12.394

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