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

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

价格

元 526

不含税

远程仓调货

预计送达时间年7月7日 - 年7月23日

顾客评价：

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

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

其他版本：

Paperback Book (2025) 元 401

Functional Data Structures and Algorithms: A Proof Assistant Approach

Tobias Nipkow

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