We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£91.50
Springer Proof and System-Reliability: v. 62 (NATO Science Series II)
Price data last checked 91 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Same price for 5 weeks. Today is much like next week.
£92 for 37 days straight · last change was Feb 2026
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 640 days • 640 data points (No recent data available)
Price Distribution
Price distribution over 640 days • 5 price levels
Price Analysis
Most common price: £82 (406 days, 63.4%)
Price range: £77 - £103
Price levels: 5 different prices over 640 days
Description
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 1402006071
- Domain
- Amazon UK
- Release Date
- 31 May 2002
- Listed Since
- 28 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Logic and Structure (Universitext)
Springer
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Birkhauser
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press
Lectures on the Curry-Howard Isomorphism
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Logic in Computer Science: Modelling and Reasoning about Systems
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
Cambridge University Press
Mathematical Logic and Computation
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
MIT Press
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
Springer
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)
Springer
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Logic for Applications (Texts in Computer Science)
Springer
Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)
Cambridge University Press
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
Elsevier