We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£91.87
Springer Proof and System-Reliability: v. 62 (NATO Science Series II)
Price data last checked 60 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.
£92 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 31 days · 31 data points (no recent data)
Price Distribution
Price distribution over 31 days • 1 price levels
Price Analysis
Most common price: £92 (31 days, 100.0%)
Price range: £92 - £92
Price levels: 1 different prices over 31 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
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 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
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
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
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
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
Springer
Mathematical Logic through Python
Cambridge University Press
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer