We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£65.99
About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.
£66 today · all-time low £63 (Aug 2026) · usually £66
VDM Verlag Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
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 61 days · 61 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 61 days • 3 price levels
Price Analysis
Most common price: £64 (28 days, 45.9%)
Price range: £63 - £66
Price levels: 3 different prices over 61 days
Description
Product Specifications
- Brand
- VDM Verlag
- Format
- paperback
- ASIN
- 3836488582
- Domain
- Amazon UK
- Release Date
- 27 March 2008
- Listed Since
- 03 April 2008
Barcode
No barcode data available
Similar Products You Might Like
Negation and Control in Prolog: 238 (Lecture Notes in Computer Science, 238)
Springer
Prolog Versus You: An Introduction to Logic Programming
Springer
Functional Grammar in PROLOG: An Integrated Implementation for English, French, and Dutch: 2 (Natural Language Processing, 2)
De Gruyter Mouton
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic: 17 (Logic, Epistemology, and the Unity of Science, 17)
Springer
Prolog and its Applications: A Japanese perspective
Springer
Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev: 485 (Synthese Library, 485)
Springer
A Protocol-theoretic Framework for the Logic of Epistemic Norms: 467 (Synthese Library, 467)
Springer
Mehrwertige Logik: Eine Einfuehrung in Theorie Und Anwendungen: Band 1 (Logica Nova)
De Gruyter
Diverging Evidence in Semantics and Pragmatics (Pragmatic Interfaces)
University of Toronto Press
![Pragmatics in English as a Lingua Franca: Findings and Developments: 14 (Developments in English as a Lingua Franca [DELF], 14)](/uploads/images/products/2/1501517732/5eae07c6-1b54-4305-a6d3-c7edd12d8721.webp)
Pragmatics in English as a Lingua Franca: Findings and Developments: 14 (Developments in English as a Lingua Franca [DELF], 14)
De Gruyter Mouton
Prolepsis: Predicting, Anticipating, Foretelling from Antiquity to the Renaissance: 429 (Beitrage zur Altertumskunde, 429)
De Gruyter
The Priority of Propositions. A Pragmatist Philosophy of Logic: 475 (Synthese Library, 475)
Springer
Logics of Variable Inclusion: 59 (Trends in Logic, 59)
Springer
The Method of Socratic Proofs: From the Logic of Questions to Proof Theory: 64 (Trends in Logic, 64)
Springer
Logisch Wiskundig Redeneren: Ontwikkeling Van Analytisch en Wiskundig Denken (Bachelor in de Wiskunde)
Practice Theory and Process Philosophy: Towards a Sociology of Becoming (Routledge Studies in Social and Political Thought)
Routledge
Language, Form(s) of Life, and Logic: Investigations after Wittgenstein: 4
De Gruyter
Multi-valued Logic for Decision-Making Under Uncertainty (Computer Science Foundations and Applied Logic)
Birkhauser