Freunden von diesem Artikel berichten:
Formal Methods for Embedded Distributed Systems: How to master the complexity Fabrice Kordon 2004 edition
Preis
€ 117,99
Bestellware
Lieferdatum: ca. 13. - 27. Nov
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Benachrichtigungen über neue Veröffentlichungen von Fabrice Kordon erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
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
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 15. September 1991 |
| ISBN13 | 9781402079962 |
| Verlag | Springer-Verlag New York Inc. |
| Seitenanzahl | 263 |
| Maße | 155 × 235 × 17 mm · 585 g |
| Redakteur | Kordon, Fabrice |
| Redakteur | Lemoine, Michel |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Gebundenes Buch) [Fourth Edition 2026 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yves Tille · Sampling Algorithms: with R - Springer Series in Statistics (Gebundenes Buch) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/740/9781071655740.jpg?yves-tille-2027-sampling-algorithms-with-r-springer-series-in-statistics-gebundenes-buch&class=scaled&v=1790602619)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Gebundenes Buch) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2027-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-gebundenes-buch&class=scaled&v=1780314405)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Taschenbuch) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2027-an-introduction-to-manifolds-universitext-taschenbuch&class=scaled&v=1780314358)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Gebundenes Buch) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2027-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-gebundenes-buch&class=scaled&v=1780314416)
![Cover for Biomedical Engineering Principles in Sports (Gebundenes Buch) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2027-biomedical-engineering-principles-in-sports-gebundenes-buch&class=scaled&v=1788246125)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Gebundenes Buch) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2027-the-economics-of-immigration-theory-history-and-policy-population-economics-gebundenes-buch&class=scaled&v=1780314393)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Gebundenes Buch) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2027-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-gebundenes-buch&class=scaled&v=1782130051)
![Cover for Computational Methods in Synthetic Biology - Methods in Molecular Biology (Gebundenes Buch) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/825/9781071655825.jpg?2026-computational-methods-in-synthetic-biology-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1790602614)
![Cover for Melanoma: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/181/9781071656181.jpg?2026-melanoma-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1790602583)
![Cover for RNA-Chromatin Interactions: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/266/9781071656266.jpg?2026-rna-chromatin-interactions-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1790602568)
![Cover for Gapmers: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/750/9781071654750.jpg?2026-gapmers-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1788180695)
![Cover for Lipases and Phospholipases: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/712/9781071654712.jpg?2026-lipases-and-phospholipases-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1788180481)
![Cover for Intestinal Stem Cells: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/118/9781071654118.jpg?2026-intestinal-stem-cells-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1790602647)
![Cover for Stem Cell Transcriptional Networks: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/382/9781071655382.jpg?2026-stem-cell-transcriptional-networks-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1790604482)