Predicate Transformer Semantics

Name: Predicate Transformer Semantics
Brand: Cambridge University Press
SKU: 9780521616102
Price: 49.39 GBP
Availability: InStock

Product form

£49.39

Includes FREE delivery

RRP £51.99 – you save £2.60 (5%)

Order before 4pm today for delivery by Thu 9 Jul 2026.

15 in stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of Predicate Transformer Semantics by Ernest. G. Manes

Publisher: Cambridge University Press
Publication Date:
ISBN13: 9780521616102, 978-0521616102
ISBN10:

Also in:
Computer programming / software engineering