We a good story
Quick delivery in the UK
About Predicate Transformer Semantics

This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521616102
  • Binding:
  • Paperback
  • Pages:
  • 236
  • Published:
  • December 1, 2004
  • Dimensions:
  • 188x245x17 mm.
  • Weight:
  • 426 g.
Delivery: 1-2 weeks
Expected delivery: January 5, 2025

Description of Predicate Transformer Semantics

This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.

User ratings of Predicate Transformer Semantics



Find similar books
The book Predicate Transformer Semantics can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.