Specification and Proof in Real Time CSP
Edición de la obra Specification and Proof in Real Time CSP
| Autor | Jim Davies |
|---|---|
| Editorial | University of Cambridge ESOL Examinations |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| Páginas | 200 |
| ISBN-13 | 9781107403864 |
| Número de Cutter | D256s |