Main image
Click to view image in fullscreen
![]()
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.
600,00 DH
Sur commande
| ISBN / EAN | 9780521616102 |
|---|---|
| Auteur | Manes, Ernest. G. (University of Massachusetts, Amherst) |
| Editeur | Cambridge University Press |