Fortell venner om denne varen:
Formal Methods for Embedded Distributed Systems: How to master the complexity Fabrice Kordon 2004 edition
Pris
NOK 1.179
Bestillingsvarer
Forventes levert 1. - 15. jul
Legg til iMusic ønskeliste
eller
Finnes også som:
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 15. september 1991 |
| ISBN13 | 9781402079962 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 263 |
| Mål | 155 × 235 × 17 mm · 585 g |
| Redaktør | Kordon, Fabrice |
| Redaktør | Lemoine, Michel |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Innbunden bok) [Fourth Edition 2026 edition] (2026)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Pocketbok) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2026-an-introduction-to-manifolds-universitext-pocketbok&class=scaled&v=1780314358)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2026-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-innbunden-bok&class=scaled&v=1780314416)
![Cover for Maternal and Child Health, Vol. 2: Global Challenges, Programs, and Policies (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/316/9781071654316.jpg?2026-maternal-and-child-health-vol-2-global-challenges-programs-and-policies-innbunden-bok&class=scaled&v=1780314347)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Innbunden bok) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2026-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-innbunden-bok&class=scaled&v=1780314405)
![Cover for Bacterial Multidrug Exporters: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/159/9781071653159.jpg?2026-bacterial-multidrug-exporters-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1780315985)
![Cover for Expression, Purification, and Structural Biology of Membrane Proteins - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/858/9781071651858.jpg?2026-expression-purification-and-structural-biology-of-membrane-proteins-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1777954830)
![Cover for Maternal and Child Health, Vol. 1: Global Challenges, Programs, and Policies (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/279/9781071654279.jpg?2026-maternal-and-child-health-vol-1-global-challenges-programs-and-policies-innbunden-bok&class=scaled&v=1780314390)
![Cover for Peptide Nucleic Acids: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/678/9781071653678.jpg?2026-peptide-nucleic-acids-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1780314367)
![Cover for In Situ Hybridization Protocols - Methods in Molecular Biology (Innbunden bok) [Sixth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/718/9781071652718.jpg?2026-in-situ-hybridization-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1778115542)
![Cover for Arbuscular Mycorrhizal Fungi: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/234/9781071653234.jpg?2026-arbuscular-mycorrhizal-fungi-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1780318237)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Innbunden bok) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2026-the-economics-of-immigration-theory-history-and-policy-population-economics-innbunden-bok&class=scaled&v=1780314393)
![Cover for Functional Disulphide Bonds: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/575/9781071651575.jpg?2026-functional-disulphide-bonds-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1775139165)
![Cover for Collagen: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/933/9781071651933.jpg?2026-collagen-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1775081440)
