Formal Methods for Embedded Distributed Systems
How to master the complexity
Edición de la obra Formal methods for embedded distributed systems
| Autor | Fabrice Kordon, Michel Lemoine |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Nov 05, 2010 |
| Páginas | 283 |
| Formato | paperback |
| ISBN-13 | 9781441954596 |
| ISBN-10 | 1441954597 |
| Número de Cutter | K84f |