Vertel uw vrienden over dit artikel:
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
| Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 15 september 1991 |
| ISBN13 | 9781402079962 |
| Uitgevers | Springer-Verlag New York Inc. |
| Pagina's | 263 |
| Afmetingen | 155 × 235 × 17 mm · 585 g |
| Uitgever | Kordon, Fabrice |
| Uitgever | Lemoine, Michel |