£76.38

Birkhauser Logic of Domains (Progress in Theoretical Computer Science)

Price data last checked 34 day(s) ago - refreshing...

View at Amazon

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.

£76 today · cheaper than every other day in the last 3 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

↓ 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 57 days • 57 data points (No recent data available)

Historical
Generating forecast...
£77.65 £76.25 £76.56 £76.86 £77.17 £77.47 £77.78 05 April 2026 19 April 2026 03 May 2026 17 May 2026 31 May 2026

Price Distribution

Price distribution over 57 days • 2 price levels

Days at Price
Current Price
4 days · current 53 days 0 13 27 40 53 £76 £78 Days at Price

Price Analysis

Most common price: £78 (53 days, 93.0%)

Price range: £76 - £78

Price levels: 2 different prices over 57 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

£107.98 31 May 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

£60.42 28 Jun 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

£103.89 28 May 2026
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
82% match

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Springer

£64.54 26 May 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

£74.35 25 May 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.38 28 May 2026
Semantic Domains in Computational Linguistics
80% match

Semantic Domains in Computational Linguistics

Springer

£75.68 05 Jun 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)

£53.53 26 May 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

£105.94 17 May 2026
Logics for Computer Science: Classical and Non-Classical
79% match

Logics for Computer Science: Classical and Non-Classical

Springer

£76.52 05 Jun 2026
Computational Semantics with Functional Programming
79% match

Computational Semantics with Functional Programming

Cambridge University Press

£39.04 20 May 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

£106.20 06 Jun 2026
Handbook of Spatial Logics
78% match

Handbook of Spatial Logics

Springer

£156.97 23 May 2026
Programming with Higher-Order Logic
78% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 26 May 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

£86.11 02 Jun 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
78% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£94.58 31 May 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.38 06 Jun 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

£82.93 29 May 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

£187.87 06 Jun 2026
Structural Proof Theory
77% match

Structural Proof Theory

Cambridge University Press

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

Protoalgebraic Logics: 10 (Trends in Logic, 10)

Springer

£106.20 01 Jun 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

£125.49 04 Jun 2026