We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£39.63
Functional Data Structures and Algorithms: A Proof Assistant Approach
Price data last checked 108 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£40 today · cheaper than every other day in the last 5 months
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 50 days • 50 data points (No recent data available)
Price Distribution
Price distribution over 50 days • 2 price levels
Price Analysis
Most common price: £46 (35 days, 70.0%)
Price range: £40 - £46
Price levels: 2 different prices over 50 days
Description
Product Specifications
- Format
- paperback
- ASIN
- B0FSD6B3ZR
- Domain
- Amazon UK
- Release Date
- 30 September 2025
- Listed Since
- 24 September 2025
Barcode
No barcode data available
Similar Products You Might Like
Functional Data Structures and Algorithms: A Proof Assistant Approach
Problems on Algorithms: A Comprehensive Exercise Book for Students in Software Engineering
Springer
Guide to Competitive Programming: Learning and Improving Algorithms Through Contests (Undergraduate Topics in Computer Science)
Algorithmic Thinking: A Problem-Based Introduction
No Starch Press
Verified Functional Programming in Agda (ACM Books)
Morgan & Claypool
Verified Functional Programming in Agda (ACM Books)
Morgan & Claypool
From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)
Springer
A Programmer's Companion to Algorithm Analysis
CRC Press
Techniques for Designing and Analyzing Algorithms (Chapman & Hall/CRC Cryptography and Network Security Series)
Algorithmen - Eine Einführung
De Gruyter Oldenbourg
Complexity and Approximation: In Memory of Ker-I Ko: 12000 (Lecture Notes in Computer Science, 12000)
Springer
An Introduction To The Analysis Of Algorithms (3rd Edition)
World Scientific Publishing Company
Concrete Semantics: With Isabelle/HOL
Springer
Problem Solving with Algorithms and Data Structures Using Python 2nd Edition
Franklin Beedle & Associates
Algorithms as a Basis of Modern Applied Mathematics: 404 (Studies in Fuzziness and Soft Computing, 404)
Springer
A Programmer's Companion to Algorithm Analysis
CRC Press
Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume: 26 (Progress in Computer Science and Applied Logic, 26)
Birkhauser
The Power of Algorithms: Inspiration and Examples in Everyday Life
Springer
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)
Springer
Algorithms and Data Structures: The Basic Toolbox
Springer
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)
Springer
Mathematical Foundations of Computer Science
Chapman and Hall/CRC
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)
Springer
