Predicate Transformer Semantics (Paperback)

Language: English

Published by Cambridge University Press, Cambridge, 2004

0521616107 / 9780521616102

  • Softcover
  • New
See all details

Seller: CitiRetail, Stevenage, United KingdomCitiRetail

5-star seller

AbeBooks seller since June 29, 2022

View this seller's items
Softcover

Condition: New

£ 68.49

£ 37.00 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Item description from seller

Paperback. 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. This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Seller Inventory # 9780521616102

Title
Predicate Transformer Semantics (Paperback)
Author
Ernest. G. Manes
Publisher
Cambridge University Press, Cambridge
Publication year
2004
Condition
new
Binding
Paperback
Language
English
ISBN 10
0521616107
ISBN 13
9780521616102

CitiRetail

Stevenage, United Kingdom

5-star seller

AbeBooks seller since June 29, 2022

Shipping rates from United Kingdom to U.S.A.

Item7 to 14 business days7 to 60 business days
First item£ 37.00£ 37.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

Online business

Seller's business information

ABC BOOKS LIMITED

10 John Street
London, United Kingdom WC1N 2EB