Salta al contingut principal

Predicate Transformer Semantics

Predicate Transformer Semantics

Autor: Manes
Matèria: Computer Science; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 1992
Identificador: 9780511569821
Col·lecció: Computer Science and Information Technology
Accés