Produktbild
Fabrice (Hrsg.) Kordon

Formal Methods for Embedded Distributed Systems

How to master the complexity

Buch

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! The different notations that can be used must all possess at least one property: formality. The development process must also have important properties: a exha- tive coverage of the development phase… Mehr

CHF 192.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Lemoine, Michel (Hrsg.)
  • ISBN: 978-1-4419-5459-6
  • EAN: 9781441954596
  • Produktnummer: 10302249
  • Verlag: Springer Us
  • Sprache: Englisch
  • Erscheinungsjahr: 2010
  • Seitenangabe: 284 S.
  • Masse: H23.5 cm x B15.5 cm x D1.5 cm 435 g
  • Auflage: Softcover reprint of hardcover 1st ed. 2004
  • Abbildungen: Paperback
  • Gewicht: 435

27 weitere Werke von Fabrice (Hrsg.) Kordon:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.