We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£43.23
Springer Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers: 4502 (Lecture Notes in Computer Science, 4502)
Price data last checked 10 day(s) ago - will refresh soon
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.
£43 today · cheaper than every other day in the last 3 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 81 days · 81 data points (no recent data)
Price Distribution
Price distribution over 81 days • 2 price levels
Price Analysis
Most common price: £45 (75 days, 92.6%)
Price range: £43 - £45
Price levels: 2 different prices over 81 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540744630
- Domain
- Amazon UK
- Release Date
- 01 October 2007
- Listed Since
- 02 August 2007
Barcode
No barcode data available
Similar Products You Might Like
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, ... (Lecture Notes in Computer Science, 4162)
Springer
Rough Sets and Current Trends in Computing: 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings: 4259 (Lecture Notes in Computer Science, 4259)
Springer
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)
Springer
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings: 4763 (Lecture Notes in Computer Science, 4763)
Springer
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)
Springer
Computer Supported Cooperative Work in Design III: 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers: 4402 (Lecture Notes in Computer Science, 4402)
Springer
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Springer
Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)
Springer
Computational Intelligence, Theory and Applications: International Conference 9th Fuzzy Days in Dortmund, Germany, Sept. 18-20, 2006 Proceedings: 38 (Advances in Intelligent and Soft Computing, 38)
Springer
Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990
Cambridge University Press
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Springer
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
Springer
Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)
Springer
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ... (Lecture Notes in Computer Science, 1893)
Springer
Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)
Springer
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry, 195)
Springer
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings: 3467 (Lecture Notes in Computer Science, 3467)
Springer
Trends in Functional Programming: 26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers: 15652 (Lecture Notes in Computer Science, 15652)
Springer
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
Springer
Interval / Probabilistic Uncertainty and Non-classical Logics: 46 (Advances in Intelligent and Soft Computing, 46)
Springer
Cambridge University Press - Structural Proof Theory Book
Cambridge University Press
Computer Aided Systems Theory - EUROCAST '97: A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas ... (Lecture Notes in Computer Science, 1333)
Springer
Lambda Calculus with Types (Perspectives in Logic)
Cambridge University Press
Categories for Types (Studies in Emotion and Social Interaction)
Cambridge University Press