We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£159.88
Springer Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: 95 (Nato Science Series C:, 95)
Price data checked 7 days ago
We'll watch every seller, every day. One email when your price arrives.
About as cheap as it gets. The only time it was cheaper was 1 month ago.
£160 today · all-time low £160 (Apr 2026) · usually £160
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 84 days • 84 data points (No recent data available)
Price Distribution
Price distribution over 84 days • 1 price levels
Price Analysis
Most common price: £160 (84 days, 100.0%)
Price range: £160 - £160
Price levels: 1 different prices over 84 days
Description
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 9027715041
- Domain
- Amazon UK
- Release Date
- 31 December 1982
- Listed Since
- 12 January 2007
Barcode
No barcode data available
Similar Products You Might Like
Prolog by Example: How to Learn, Teach and Use It (Symbolic Computation)
Springer
LOGIC PROGRAMMING THEORY PRACTICES A: Theory, Practices and Challenges (Computer Science, Technology and Applications)
Programming with Higher-Order Logic
Cambridge University Press
Multiprocessor Execution of Logic Programs
Springer
An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German (Cognitive Technologies)
Springer
BCPL: The Language and its Compiler
Cambridge University Press
Logic of Domains (Progress in Theoretical Computer Science)
Birkhauser
Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)
Springer
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
Springer
Protoalgebraic Logics: 10 (Trends in Logic, 10)
Springer
Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation)
Springer
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)
Springer
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
Springer
Design of Embedded Control Systems
Springer
Multiparadigm Constraint Programming Languages (Cognitive Technologies)
Springer
Separation Logic for High-level Synthesis (Springer Theses)
Springer
Separation Logic for High-level Synthesis (Springer Theses)
Springer
Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)
Springer
The NCL Natural Constraint Language
Springer
A Theory of Objects (Monographs in Computer Science)
Springer
Applications of Logic Databases: 296 (The Springer International Series in Engineering and Computer Science, 296)
Springer
Deductive Program Design: 152 (NATO ASI Subseries F:, 152)
Springer
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Springer
Logics for Computer Science: Classical and Non-Classical
Springer