We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£46.99
Springer Automatische Synthese rekursiver Programme als Beweisverfahren: 302 (Informatik-Fachberichte, 302)
black & white illustrations, bibliograph
Price data last checked 96 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£47 today · previous high £47 · all-time low £38
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 635 days • 635 data points (No recent data available)
Price Distribution
Price distribution over 635 days • 5 price levels
Price Analysis
Most common price: £47 (491 days, 77.3%)
Price range: £38 - £47
Price levels: 5 different prices over 635 days
Description
Product Specifications
- Brand
- Springer
- Format
- Perfect Paperback
- ASIN
- 3540553002
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 08 April 1992
- Listed Since
- 21 February 2011
Barcode
No barcode data available
Similar Products You Might Like
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
MIT Press
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Handbook of Practical Logic and Automated Reasoning
Cambridge University Press
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
Springer
Logic in Computer Science: Modelling and Reasoning about Systems
Proof and System-Reliability: v. 62 (NATO Science Series II)
Springer
Lectures on the Curry-Howard Isomorphism
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)
Springer
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)
Springer
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
Springer
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Handbook of Automated Reasoning (Volume 1)
North Holland
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)
Springer
Logic and Structure (Universitext)
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