We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£73.75
Birkhauser Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)
Price data checked 1 day 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 3 months ago.
£74 today · all-time low £73 (Feb 2026) · usually £75
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 90 days • 90 data points
Price Distribution
Price distribution over 90 days • 3 price levels
Price Analysis
Most common price: £73 (75 days, 83.3%)
Price range: £73 - £76
Price levels: 3 different prices over 90 days
Description
Product Specifications
- Brand
- Birkhauser
- Format
- paperback
- ASIN
- 1461286808
- Domain
- Amazon UK
- Release Date
- 26 September 2011
- Listed Since
- 13 July 2012
Barcode
No barcode data available
Similar Products You Might Like
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Springer
Computational Semantics with Functional Programming
Cambridge University Press
Logic of Domains (Progress in Theoretical Computer Science)
Birkhauser
Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)
Birkhauser
Multiparadigm Constraint Programming Languages (Cognitive Technologies)
Springer
Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Cambridge University Press
Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)
Birkhauser
Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)
Springer
Temporal Verification of Reactive Systems: Safety
Springer
Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)
Springer
Topics in Grammatical Inference
Springer
Symbolic Simulation Methods for Industrial Formal Verification
Springer
LOGIC PROGRAMMING THEORY PRACTICES A: Theory, Practices and Challenges (Computer Science, Technology and Applications)
The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)
Springer
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
Springer
Programming with Higher-Order Logic
Cambridge University Press
Super-Recursive Algorithms (Monographs in Computer Science)
Springer
Modern Language Models and Computation: Theory with Applications
Springer
The Handbook of Contemporary Semantic Theory (Blackwell Handbooks in Linguistics)
Wiley-Blackwell
Multiprocessor Execution of Logic Programs
Springer
Formal Approaches to Semantics and Pragmatics: Japanese and Beyond: 95 (Studies in Linguistics and Philosophy, 95)
Springer
Formal Approaches to Semantics and Pragmatics: Japanese and Beyond: 95 (Studies in Linguistics and Philosophy, 95)
Springer
Modeling and Control of Logical Discrete Event Systems: 300 (The Springer International Series in Engineering and Computer Science, 300)
Springer
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