Modeling and Verification of Parallel Processes
4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Edición de la obra Modeling and Verification of Parallel Processes
| Autor | Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| Páginas | 234 |
| ISBN-13 | 9783540455103 |
| Número de Cutter | C344m |