Concurrency Verification
Introduction to Compositional and Non-Compositional Methods
Edición de la obra Concurrency verification
| Autor | Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| Páginas | 800 |
| ISBN-13 | 9780521169325 |
| Número de Cutter |