Predicate Transformer Semantics
Ernest. G. (University of Massachusetts, Amherst) Manes
Cambridge University Press, 2004
91,50 €On orderDelivery: 2-3 weeks
This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.
- ISBN-13
- 9780521616102
- ISBN-10
- 0521616107
- Publisher
- Cambridge University Press
- Year
- 2004
- Publication date
- 2004-12-02
- Pages
- 236
- Dimensions
- 245x188x17
- Weight
- 426