Recomienda este artículo a tus amigos:
Formal Methods for Embedded Distributed Systems: How to master the complexity Fabrice Kordon 2004 edition
Formal Methods for Embedded Distributed Systems: How to master the complexity
Fabrice Kordon
The development of any Software (Industrial) Intensive System, e.g. This becomes a more and more important issue since software systems tend to be distributed in large systems (for instance in safe public transportation systems), and in small ones (for instance numerous processors in luxury cars).
283 pages, 28 black & white illustrations, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 15 de septiembre de 1991 |
| ISBN13 | 9781402079962 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 263 |
| Dimensiones | 155 × 235 × 17 mm · 585 g |
| Editor | Kordon, Fabrice |
| Editor | Lemoine, Michel |