We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£38.19
Society for Industrial and Applied Mathematics (SIAM) Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics): 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Price data last checked 21 day(s) ago - will refresh soon
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.
£38 today · cheaper than every other day in the last 2 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 35 days · 35 data points (no recent data)
Price Distribution
Price distribution over 35 days • 1 price levels
Price Analysis
Most common price: £38 (35 days, 100.0%)
Price range: £38 - £38
Price levels: 1 different prices over 35 days
Description
Key Features
Used Book in Good Condition
Product Specifications
- Format
- paperback
- ASIN
- 0898711649
- Domain
- Amazon UK
- Release Date
- 01 January 1987
- Listed Since
- 04 January 2007
Barcode
No barcode data available
Similar Products You Might Like
Programming with Higher-Order Logic
Cambridge University Press
Logics for Computer Science: Classical and Non-Classical
Springer
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)
Springer
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Springer
Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989: 21 (Mathematical Sciences Research Institute Publications, 21)
Springer
Multiprocessor Execution of Logic Programs
Springer
Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)
Springer
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
Cambridge University Press
Systematic Program Design: From Clarity to Efficiency
Cambridge University Press
Cambridge Mathematics of Logic - Completeness Theorems Guide
Cambridge University Press
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Cambridge University Press
Logic Functions and Equations: Binary Models for Computer Science
Springer
LOGIC PROGRAMMING THEORY PRACTICES A: Theory, Practices and Challenges (Computer Science, Technology and Applications)
Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)
Birkhauser
Logic of Domains (Progress in Theoretical Computer Science)
Birkhauser
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)
Springer
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
MIT Press
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
Springer
Cambridge University Press - Structural Proof Theory Book
Cambridge University Press
LMS: 45 Recursion Theory, Applns: Its Generalisations & Applications, Proceedings of Logic Colloquim '79, Leeds, Aug. 1979 (London Mathematical Society Lecture Note Series, Series Number 45)
Cambridge University Press
Handbook of Spatial Logics
Springer
Computational Semantics with Functional Programming
Cambridge University Press
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Cambridge University Press
The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)
Springer