Functional Data Structures and Algorithms: A Proof Assistant Approach - Paperback

Name: Books by splitShops Functional Data Structures and Algorithms: A Proof Assistant Approach - Paperback - Functional Data Structures and Algorithms: A Proof Assistant Approach - Paperback
Brand: Books by splitShops
SKU: 43673022398599
Price: 79.13 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$79.13

Quantity

Color

Black

Quantity

Description

Report copyright infringement
by Tobias Nipkow (Author)

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 ...

Delivery & Returns

Books by splitShops

4.8 (119)

Product description loading

This is the product description text that will appear here.

Introduction to Algorithms, fourth edition 4th Edition by Thomas H. Cormen | Hardcover

50% off

NYBooksHub

Introduction to Algorithms, fourth edition 4th Edition by Thomas H. Cormen | Hardcover

$49.90$99.00

Polaris QIS Publishing

Quantum Algorithms and Applications: A Scaffolding Approach (Vol 1) (Paperback)

$59.99

78% off

bookread

Artificial Intelligence and Robotics: Transformative and Computational Algorithms for Enhanced Problem Solving (Mathematical Methods in the Digital Age)

$29.99$134.00

Polaris QIS Publishing

Quantum Algorithms and Applications: A Scaffolding Approach (Vol 2) (Hardcover)

$74.99

Australian Maths Trust

Computational and Algorithmic Thinking Book 2 2011-2015

A$50.00

Designing Data-Intensive Applications, Big Ideas Behind Reliable, Scalable, and Maintainable Systems 9781449373320 Martin Kleppmann

20% off

Bookshop

Designing Data-Intensive Applications, Big Ideas Behind Reliable, Scalable, and Maintainable Systems

€57.71€72.35

Teacher Superstore

Cambridge Checkpoints VCE - Mathematical Methods Units 3&4 (2026): Print & Digital

A$31.77

Australian Maths Trust

Computational and Algorithmic Thinking Book 3 2016–2020

A$50.00

Functional Data Structures and Algorithms: A Proof Assistant Approach - Paperback

Delivery & Returns

Books by splitShops

You might also like

Introduction to Algorithms, fourth edition 4th Edition by Thomas H. Cormen | Hardcover

Quantum Algorithms and Applications: A Scaffolding Approach (Vol 1) (Paperback)

Artificial Intelligence and Robotics: Transformative and Computational Algorithms for Enhanced Problem Solving (Mathematical Methods in the Digital Age)

Quantum Algorithms and Applications: A Scaffolding Approach (Vol 2) (Hardcover)

Computational and Algorithmic Thinking Book 2 2011-2015

Designing Data-Intensive Applications, Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Cambridge Checkpoints VCE - Mathematical Methods Units 3&4 (2026): Print & Digital

Computational and Algorithmic Thinking Book 3 2016–2020

Delivery & Returns

Books by splitShops

You might also like

Introduction to Algorithms, fourth edition 4th Edition by Thomas H. Cormen | Hardcover

Quantum Algorithms and Applications: A Scaffolding Approach (Vol 1) (Paperback)

Artificial Intelligence and Robotics: Transformative and Computational Algorithms for Enhanced Problem Solving (Mathematical Methods in the Digital Age)

Quantum Algorithms and Applications: A Scaffolding Approach (Vol 2) (Hardcover)

Computational and Algorithmic Thinking Book 2 2011-2015

Designing Data-Intensive Applications, Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Cambridge Checkpoints VCE - Mathematical Methods Units 3&4 (2026): Print & Digital

Computational and Algorithmic Thinking Book 3 2016–2020