Predicate Calculus and Program Semantics Image close
Predicate Calculus and Program Semantics by Edsger W. Dijkstra
Predicate Calculus and Program Semantics by Edsger W. Dijkstra
Show Hide Adult Content
Predicate Calculus and Program Semantics close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Predicate Calculus and Program Semantics

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$267.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $66.75 with Afterpay Learn more

6 weekly interest-free payments of $44.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Monographs in Computer Science

See all products in this series

Reverse Engineering of Object Oriented Code on Hardback by Paolo Tonella
$308.00
Reverse Engineering of Object Oriented Code
by Paolo Tonella ~ Hardback
Available - Usually ships in 3-4 weeks
A Logical Approach to Discrete Math on Hardback by David Gries
$264.00
A Logical Approach to Discrete Math
by David Gries ~ Hardback
Available - Usually ships in 3-4 weeks
Programming Methodology on Hardback
$303.00
Programming Methodology
Hardback
Available - Usually ships in 3-4 weeks
Object-Oriented Database Programming by Suad Alagic
$153.00
Object-Oriented Database Programming
by Suad Alagic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Practical Theory of Programming by Eric C.R. Hehner
$153.00
A Practical Theory of Programming
by Eric C.R. Hehner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Probabilistic Analysis of Algorithms by Micha Hofri
$151.00
Probabilistic Analysis of Algorithms
by Micha Hofri ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Programming in Modula-2 by Niklaus Wirth
$151.00
Programming in Modula-2
by Niklaus Wirth ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Language and Program Development by F.L. Bauer
$159.00
Algorithmic Language and Program Development
by F.L. Bauer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Discovery In Time Series on Hardback by New York University
$295.00
High Performance Discovery In Time Series
by New York University ~ Hardback
Available - Usually ships in 3-4 weeks
Geometric Fundamentals of Robotics on Hardback by J. M. Selig
$320.00
Geometric Fundamentals of Robotics
by J. M. Selig ~ Hardback
Available - Usually ships in 3-4 weeks
Relational Database Technology by Suad Alagic
$296.00
Relational Database Technology
by Suad Alagic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Science of Programming by David Gries
$284.00
The Science of Programming
by David Gries ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Design and Analysis of Algorithms by Dexter C. Kozen
$244.00
The Design and Analysis of Algorithms
by Dexter C. Kozen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Synthesizer Generator by Thomas W Reps
$153.00
The Synthesizer Generator
by Thomas W Reps ~ Paperback / softback
Available - Usually ships in 3-4 weeks
ML with Concurrency
$151.00
ML with Concurrency
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Geometry by Franco P. Preparata
$272.00
Computational Geometry
by Franco P. Preparata ~ Paperback / softback
Available - Usually ships in 3-4 weeks

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.
Release date NZ
September 26th, 2011
Audience
  • Professional & Vocational
Edition
Softcover reprint of the original 1st ed. 1990
Illustrations
XI, 220 p.
Pages
220
Dimensions
156x234x12
ISBN-13
9781461279242
Product ID
20763932

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Edsger W. Dijkstra

See all books by this author

Selected Writings on Computing: A personal Perspective by Edsger W. Dijkstra
$374.00
Selected Writings on Computing: A personal Perspective
by Edsger W. Dijkstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation