Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - Books - Association of Computing Machinery,U.S. - 9798400731570 - September 30, 2025
In case cover and title do not match, the title is correct

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

Price
Íkr 9,499
excl. VAT

Ordered from remote warehouse

Expected delivery May 25 - Jun 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released September 30, 2025
ISBN13 9798400731570
Publishers Association of Computing Machinery,U.S.
Pages 418
Dimensions 150 × 220 × 20 mm   ·   929 g

More by Tobias Nipkow

Show all

See all of Tobias Nipkow ( e.g. Paperback Book and Hardcover Book )