Items related to Predicate Calculus and Program Semantics

Predicate Calculus and Program Semantics - Softcover

Edsger W. Dijkstra

  • 2.67 out of 5 stars
    6 ratings by Goodreads
 
Image Not Available
Softcover
ISBN 10: 1461232295 ISBN 13: 9781461232292
Publisher: Springer

This specific ISBN edition is currently not available.

Synopsis

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...

More
  • PublisherSpringer
  • ISBN 10 1461232295
  • ISBN 13 9781461232292
  • BindingPaperback
  • LanguageEnglish
  • Rating
    • 2.67 out of 5 stars
      6 ratings by Goodreads

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

ISBN 10:  1461279240 ISBN 13:  9781461279242
Publisher: Springer, 2011
Softcover