Predicate Calculus and Program Semantics - Monographs in Computer Science - Edsger W. Dijkstra - Books - Springer-Verlag New York Inc. - 9781461279242 - September 26, 2011
In case cover and title do not match, the title is correct

Edsger W. Dijkstra
Predicate Calculus and Program Semantics - Monographs in Computer Science Softcover reprint of the original 1st ed. 1990 edition

Price
NZ$ 156
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 27 - May 7

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

220 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 26, 2011
ISBN13 9781461279242
Publishers Springer-Verlag New York Inc.
Pages 220
Dimensions 155 × 235 × 12 mm   ·   340 g
Language English  

More by Edsger W. Dijkstra

Show all

See all of Edsger W. Dijkstra ( e.g. Paperback Book )