Paperback
Verified functional data structures and algorithms: correctness, running time, proofs.
Functional Data Structures and Algorithms
A Proof Assistant Approach
$158.95
- Paperback
418 pages
- Release Date
30 September 2025
Check Delivery Options
Summary
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph algorithms, string search, Huffman’s algorithm for generating optimal codes and alpha-beta pruning of …
Book Details
| ISBN-13: | 9798400731594 |
|---|---|
| Author: | Tobias Nipkow |
| Publisher: | Association of Computing Machinery,U.S. |
| Imprint: | Association of Computing Machinery,U.S. |
| Format: | Paperback |
| Number of Pages: | 418 |
| Release Date: | 30 September 2025 |
| Weight: | 0g |
You Can Find This Book In
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.