£75.06

Birkhauser Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)

Price data last checked 14 day(s) ago - will refresh soon

View at Amazon

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.

£75 today · all-time low £74 (May 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

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
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 77 days · 77 data points (no recent data)

Historical
Generating forecast…
£76.38 £73.49 £74.12 £74.75 £75.38 £76.01 £76.64 21 May 2026 09 June 2026 28 June 2026 17 July 2026 05 August 2026

Price Distribution

Price distribution over 77 days • 3 price levels

Days at Price
Current Price
55 days 10 days · current 12 days 0 14 28 41 55 £74 £75 £76 Days at Price

Price Analysis

Most common price: £74 (55 days, 71.4%)

Price range: £74 - £76

Price levels: 3 different prices over 77 days

Description

During the last three decades several different styles of semantics for program ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several exam ples we show how to define operational and denotational semantic models for programming languages. Furthermore, we introduce a general technique for comparing various semantic models for a given language. We focus on different degrees of nondeterminism in programming lan guages. Nondeterminism arises naturally in concurrent languages. It is also an important concept in specification languages. In the examples discussed, the degree of non determinism ranges from a choice between two alternatives to a choice between a collection of alternatives indexed by a closed interval of the real numbers. The former arises in a language with nondeterministic choices. A real time language with dense choices gives rise to the latter. We also consider the nondeterministic random assignment and parallel composition, both couched in a simple language. Besides non determinism our four example languages contain some form of recursion, a key ingredient of programming languages.

Product Specifications

Format
paperback
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)
82% match

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Springer

£64.57 05 Aug 2026
Computational Semantics with Functional Programming
81% match

Computational Semantics with Functional Programming

Cambridge University Press

£39.09 04 Aug 2026
Logic of Domains (Progress in Theoretical Computer Science)
81% match

Logic of Domains (Progress in Theoretical Computer Science)

Birkhauser

£76.42 06 Aug 2026
Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)
80% match

Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)

Birkhauser

£76.42 06 Aug 2026
Multiparadigm Constraint Programming Languages (Cognitive Technologies)
79% match

Multiparadigm Constraint Programming Languages (Cognitive Technologies)

Springer

£75.68 04 Aug 2026
Multiparadigm Constraint Programming Languages (Cognitive Technologies)
79% match

Multiparadigm Constraint Programming Languages (Cognitive Technologies)

Springer

£59.42 08 Aug 2026
Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
78% match

Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Cambridge University Press

£138.99 06 Aug 2026
Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)
78% match

Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)

Birkhauser

£76.42 06 Aug 2026
Computing Meaning: Volume 2: 77 (Studies in Linguistics and Philosophy)
78% match

Computing Meaning: Volume 2: 77 (Studies in Linguistics and Philosophy)

Springer

£124.59 08 Aug 2026
Paraphrase Grammars: 2 (Formal Linguistics Series, 2)
78% match

Paraphrase Grammars: 2 (Formal Linguistics Series, 2)

Springer

£74.38 07 Aug 2026
Principles of Rule-Based Programming
78% match

Principles of Rule-Based Programming

Books on Demand

£35.90 30 Jul 2026
Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)
78% match

Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)

Springer

£82.74 06 Aug 2026
Interpreted Languages and Compositionality: 89 (Studies in Linguistics and Philosophy, 89)
78% match

Interpreted Languages and Compositionality: 89 (Studies in Linguistics and Philosophy, 89)

Springer

£74.50 10 Aug 2026
Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)
77% match

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Springer

£188.03 08 Aug 2026
Recursion: Complexity in Cognition: 43 (Studies in Theoretical Psycholinguistics, 43)
77% match

Recursion: Complexity in Cognition: 43 (Studies in Theoretical Psycholinguistics, 43)

Springer

£61.83 07 Aug 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
77% match

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Springer

£50.25 07 Aug 2026
Breadth and Depth of Semantic Lexicons: 10 (Text, Speech and Language Technology, 10)
77% match

Breadth and Depth of Semantic Lexicons: 10 (Text, Speech and Language Technology, 10)

Springer

£107.98 07 Aug 2026
Temporal Verification of Reactive Systems: Safety
77% match

Temporal Verification of Reactive Systems: Safety

Springer

£85.07 06 Aug 2026
Computational Lexical Semantics (Studies in Natural Language Processing)
77% match

Computational Lexical Semantics (Studies in Natural Language Processing)

Cambridge University Press

£85.68 19 Jun 2026
Interpreted Languages and Compositionality: 89 (Studies in Linguistics and Philosophy, 89)
76% match

Interpreted Languages and Compositionality: 89 (Studies in Linguistics and Philosophy, 89)

Springer

£75.35 08 Aug 2026
Natural Language Semantics P
76% match

Natural Language Semantics P

Wiley

£40.95 08 Aug 2026
Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)
76% match

Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)

Springer

£77.62 03 Aug 2026
An Introduction to Formal Languages and Machine Computation
76% match

An Introduction to Formal Languages and Machine Computation

Scientific Publishing

£68.00 03 Jul 2026
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
76% match

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Springer

£108.01 07 Aug 2026