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 London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9781402079979 |
| Número de Cutter | K84f |