£76.42

Birkhauser Logic of Domains (Progress in Theoretical Computer Science)

Price data last checked 13 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 2 months ago.

£76 today · all-time low £76 (May 2026) · usually £76

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 78 days · 78 data points (no recent data)

Historical
Generating forecast…
£77.65 £76.25 £76.56 £76.86 £77.17 £77.47 £77.78 21 May 2026 09 June 2026 28 June 2026 17 July 2026 06 August 2026

Price Distribution

Price distribution over 78 days • 2 price levels

Days at Price
Current Price
71 days · current 7 days 0 18 36 53 71 £76 £78 Days at Price

Price Analysis

Most common price: £76 (71 days, 91.0%)

Price range: £76 - £78

Price levels: 2 different prices over 78 days

Description

This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof system so derived is guaranteed to agree with denotational se mantics in the sense that the denotation of any program coincides with the set of assertions true of it. The study focuses on two categories for dena tational semantics: SFP domains, and the less standard, but important, category of stable domains. The intended readership of this monograph includes researchers and graduate students interested in the relation between semantics of program ming languages and formal means of reasoning about programs. A basic knowledge of denotational semantics, mathematical logic, general topology, and category theory is helpful for a full understanding of the material. Part I SFP Domains Chapter 1 Introduction This chapter provides a brief exposition to domain theory, denotational se mantics, program logics, and proof systems. It discusses the importance of ideas and results on logic and topology to the understanding of the relation between denotational semantics and program logics. It also describes the motivation for the work presented by this monograph, and how that work fits into a more general program. Finally, it gives a short summary of the results of each chapter. 1. 1 Domain Theory Programming languages are languages with which to perform computa tion.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
22 December 2012
Listed Since
14 July 2013

Barcode

No barcode data available

Similar Products You Might Like

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)
84% match

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

Springer

£108.01 06 Aug 2026
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
82% match

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

MIT Press

£35.97 29 Jul 2026
Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
82% match

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

Cambridge University Press

£138.99 06 Aug 2026
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
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)
81% match

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

Birkhauser

£75.06 05 Aug 2026
Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)
81% match

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

Birkhauser

£76.42 06 Aug 2026
Semantic Domains in Computational Linguistics
80% match

Semantic Domains in Computational Linguistics

Springer

£75.68 08 Aug 2026
LOGIC PROGRAMMING THEORY PRACTICES A: Theory, Practices and Challenges (Computer Science, Technology and Applications)
79% match

LOGIC PROGRAMMING THEORY PRACTICES A: Theory, Practices and Challenges (Computer Science, Technology and Applications)

£54.29 05 Aug 2026
The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)
79% match

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

Springer

£108.01 03 Aug 2026
Logics for Computer Science: Classical and Non-Classical
79% match

Logics for Computer Science: Classical and Non-Classical

Springer

£83.06 08 Aug 2026
Computational Semantics with Functional Programming
79% match

Computational Semantics with Functional Programming

Cambridge University Press

£39.09 04 Aug 2026
An Introduction to Default Logic (Symbolic Computation)
78% match

An Introduction to Default Logic (Symbolic Computation)

Springer

£75.97 03 Jul 2026
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)
78% match

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)

Springer

£109.08 08 Aug 2026
Handbook of Spatial Logics
78% match

Handbook of Spatial Logics

Springer

£156.89 05 Aug 2026
Programming with Higher-Order Logic
78% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 05 Aug 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
78% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Springer

£92.22 07 Aug 2026
Cambridge Logical Foundations of Proof Complexity Book
78% match

Cambridge Logical Foundations of Proof Complexity Book

Cambridge University Press

£93.46 19 Aug 2026
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
78% match

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Springer

£76.42 08 Aug 2026
Rohit Parikh on Logic, Language and Society: 11 (Outstanding Contributions to Logic, 11)
78% match

Rohit Parikh on Logic, Language and Society: 11 (Outstanding Contributions to Logic, 11)

Springer

£83.72 06 Aug 2026
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV: 28
78% match

Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV: 28

Springer

£107.98 30 Jun 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
Structural Proof Theory
77% match

Structural Proof Theory

Cambridge University Press

£94.00 08 Aug 2026
Protoalgebraic Logics: 10 (Trends in Logic, 10)
77% match

Protoalgebraic Logics: 10 (Trends in Logic, 10)

Springer

£108.01 07 Aug 2026
Feferman on Foundations: Logic, Mathematics, Philosophy: 13 (Outstanding Contributions to Logic, 13)
77% match

Feferman on Foundations: Logic, Mathematics, Philosophy: 13 (Outstanding Contributions to Logic, 13)

Springer

£132.72 08 Aug 2026