Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Predicate Transformer Semantics Paperback (Cambridge Tracts in Theoretical Computer Science)
Type
Physical Book
Author
Publisher
Year
2004
Language
English
Pages
236
Format
Paperback
Dimensions
24.6 x 18.9 x 1.3 cm
Weight
0.43 kg.
ISBN
0521616107
ISBN13
9780521616102
Edition No.
1
Categories

Predicate Transformer Semantics Paperback (Cambridge Tracts in Theoretical Computer Science)

Ernest G. Manes (Author) · Cambridge University Press · Paperback

Predicate Transformer Semantics Paperback (Cambridge Tracts in Theoretical Computer Science) - Manes, Ernest G.

New Book Imported to South Africa
Delivery: 20 Aug - 28 Aug Shipping: 4 to 5 business days.
R 1,588
R 1,588

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Predicate Transformer Semantics Paperback (Cambridge Tracts in Theoretical Computer Science) "

A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews