We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£59.81
Pricier than usual. £24 more than the 30-day average — we'd wait.
£60 today · 30-day average £36 · all-time low £34
Springer Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 74 days · 74 data points (no recent data)
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 Distribution
Price distribution over 74 days • 3 price levels
Price Analysis
Most common price: £60 (48 days, 64.9%)
Price range: £34 - £60
Price levels: 3 different prices over 74 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540761861
- Domain
- Amazon UK
- Release Date
- 01 January 1998
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Springer
Proof Theory and Logic Programming: Computation as Proof Search
Cambridge University Press
Proof Analysis: A Contribution to Hilbert's Last Problem
Cambridge University Press
Proof and System-Reliability: v. 62 (NATO Science Series II)
Springer
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
Springer
Elsevier Handbook of Proof Theory - Studies in Logic Vol 137
Elsevier
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Proofs and Computations (Perspectives in Logic)
Cambridge University Press
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
MIT Press
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Understanding Mathematical Proof
CRC Press
How to Prove It: A Structured Approach
Cambridge University Press
Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)
Springer
Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)
Oxford University Press
Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)
Cambridge University Press
Logic and Structure (Universitext)
Springer
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
Cambridge University Press
Proof Complexity (Encyclopedia of Mathematics and its Applications): 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)
Cambridge University Press
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
World Scientific Publishing Company
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
Springer
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
Oxford University Press