Specification and Verification of Concurrent Systems
Edición de la obra Specification and Verification of Concurrent Systems
| Autor | Charles Rattray |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| ISBN-13 | 9781447135340 |
| Número de Cutter | R237s |