Predicate Transformer Semantics
- Título:
- Predicate Transformer Semantics
- Materia:
- Computer Science; Philosophy of Science; Recreational Mathematics
- Editor:
- Cambridge University Press
- Descripción:
- Books for Research
- Identificadores:
- E-ISBN: 9780511569821 ISBN: 9780521616102
- Colección:
- Cambridge University Press