Predicate Calculus and Program Semantics (Monographs in Computer Science) - Image 1

£61.84

Springer Predicate Calculus and Program Semantics (Monographs in Computer Science)

Name: Predicate Calculus and Program Semantics (Monographs in Computer Science)
Brand: Springer
Price: 61.84 GBP
Availability: InStock

Programming

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

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

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

Historical

Generating forecast…

Price Distribution

Price distribution over 69 days • 1 price levels

Days at Price

Price Analysis

Most common price: £62 (69 days, 100.0%)

Price range: £62 - £62

Price levels: 1 different prices over 69 days

Description

This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1461279240
Category: Books > Subjects > Computing & Internet > Programming
Domain: Amazon UK
Release Date: 26 September 2011
Listed Since: 13 July 2012

Barcode

No barcode data available

Springer Predicate Calculus and Program Semantics (Monographs in Computer Science)

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Predicative Forms in Natural Language and in Lexical Knowledge Bases: 6 (Text, Speech and Language Technology, 6)

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

Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability: 132 (Studies in Fuzziness and Soft Computing, 132)

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

First-Order Programming Theories: 24 (Monographs in Theoretical Computer Science. An EATCS Series, 24)

Probabilistic Extensions of Various Logical Systems

Quantification and Syntactic Theory: 21 (Studies in Linguistics and Philosophy, 21)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

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

A Theory of Objects (Monographs in Computer Science)

Parallel Algorithm Derivation and Program Transformation: 231 (The Springer International Series in Engineering and Computer Science, 231)

Paraphrase Grammars: 2 (Formal Linguistics Series, 2)

Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)

Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

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

Computational Semantics with Functional Programming

Studies in the Composition and Decomposition of Event Predicates: 93 (Studies in Linguistics and Philosophy, 93)

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

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship: 23 (Cambridge Tracts in Theoretical Computer Science, Series Number 23)

Syntax and Semantics of Prepositions: 29 (Text, Speech and Language Technology, 29)

Logic for Concurrency and Synchronisation: 18 (Trends in Logic, 18)

Computational Linguistics and Formal Semantics (Studies in Natural Language Processing)