£77.65

Birkhauser Logic of Domains (Progress in Theoretical Computer Science)

Price data checked 1 day ago

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£78 today · previous high £78 · all-time low £78

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 90 days • 90 data points

Historical
Generating forecast...
£77.65 £77.64 £77.64 £77.64 £77.65 £77.65 £77.65 18 February 2026 12 March 2026 03 April 2026 25 April 2026 18 May 2026

Price Distribution

Price distribution over 90 days • 1 price levels

Days at Price
90 days 0 23 45 68 90 £78 Days at Price

Price Analysis

Most common price: £78 (90 days, 100.0%)

Price range: £78 - £78

Price levels: 1 different prices over 90 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 17 May 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

£93.91 18 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 18 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

£73.75 18 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 18 May 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)

£52.98 18 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
Computational Semantics with Functional Programming
79% match

Computational Semantics with Functional Programming

Cambridge University Press

£37.23 11 May 2026
Handbook of Spatial Logics
78% match

Handbook of Spatial Logics

Springer

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

Programming with Higher-Order Logic

Cambridge University Press

£32.17 18 May 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.26 18 May 2026
Topics in Philosophical Logic: 17 (Synthese Library, 17)
77% match

Topics in Philosophical Logic: 17 (Synthese Library, 17)

Springer

£113.93 18 May 2026
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)
77% match

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)

Springer

£72.77 11 May 2026
A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)
77% match

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

Springer

£39.55 16 May 2026
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
77% match

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

Springer

£72.77 11 May 2026
Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)
77% match

Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)

Birkhauser

£74.56 18 May 2026
Handbook of Philosophical Logic: Volume 17
76% match

Handbook of Philosophical Logic: Volume 17

Springer

£74.12 18 May 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
76% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)

Springer

£138.60 11 May 2026
Topics in Grammatical Inference
76% match

Topics in Grammatical Inference

Springer

£76.38 18 May 2026
Multiprocessor Execution of Logic Programs
76% match

Multiprocessor Execution of Logic Programs

Springer

£107.27 18 May 2026
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)
76% match

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)

Springer

£107.98 18 May 2026
Handbook of Philosophical Logic: Volume 16
76% match

Handbook of Philosophical Logic: Volume 16

Springer

£109.55 18 May 2026
Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)
76% match

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

Birkhauser

£72.77 18 May 2026
Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)
76% match

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

Springer

£81.98 18 May 2026