Salta al contingut principal

Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

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