Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - 書籍 - Association of Computing Machinery,U.S. - 9798400731570 - 2025年9月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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

価格
¥ 12.390
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月10日 - 年9月28日
Tobias Nipkow の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Discover data structures and algorithms for functional programming with rigorously verified proofs using Isabelle. Covering sorting, priority queues, dynamic programming, advanced heap structures, and graph algorithms, it unifies program correctness with runtime analysis through inductively proven methods for both learners and practitioners.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2025年9月30日
ISBN13 9798400731570
出版社 Association of Computing Machinery,U.S.
ページ数 418
寸法 150 × 220 × 20 mm   ·   929 g

Tobias Nipkowの他の作品を見る

すべて表示

同じ出版社からのその他の記事

Tobias Nipkowのすべてを見る