Predicate Calculus and Program Semantics

RON624.00
+ RON27.99 Shipping
  • product image
Predicate Calculus and Program Semantics

Predicate Calculus and Program Semantics

  • Brand: Unbranded
Sold by:

Predicate Calculus and Program Semantics

  • Brand: Unbranded

RON624.00

In stock
+ RON27.99 Shipping

14-Day Returns Policy

Sold by:

RON624.00

In stock
+ RON27.99 Shipping

14-Day Returns Policy

Payment methods:

Description

Predicate Calculus and Program Semantics

1. On structures. - 2. On substitution and replacement. - 3. On functions and equality. - 4. On our proof format. - 5. The calculus of boolean structures. - 6. Some properties of predicate transformers. - 7. Semantics of straight-line programs. - 8. Equations in predicates and their extreme solutions. - 9. Semantics of repetitions. - 10. Operational considerations. - 11. Converse predicate transformers. - 12. The strongest postcondition. Language: English
  • Brand: Unbranded
  • Category: Computing & Internet
  • Artist: Edsger W. Dijkstra
  • Format: Paperback
  • Language: English
  • Publication Date: 2011/09/26
  • Publisher / Label: Springer
  • Number of Pages: 220
  • Fruugo ID: 337882985-741542272
  • ISBN: 9781461279242

Delivery & Returns

Dispatched within 5 days

  • STANDARD: RON27.99 - Delivery between Fri 02 January 2026–Wed 07 January 2026

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy