Filter By
Books (2)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
A Practical Theory of Programming by Eric C.R. Hehner 9780387941066
Booksplease Price: £46.58There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a... -
A Practical Theory of Programming by Eric C.R. Hehner 9781461264446
Booksplease Price: £46.28There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a...