Specification and Verification of Concurrent Systems
Edición de la obra Specification and Verification of Concurrent Systems
| Autor | Charles Rattray |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 624 |
| Formato | paperback |
| ISBN-13 | 9781447135357 |
| ISBN-10 | 1447135350 |
| Número de Cutter | R237s |