Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods for Embedded Distributed Systems

How to master the complexity

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Embedded Distributed Systems Fabrice Kordon
Libristo-code: 01423731
Uitgeverij Springer, Berlin, oktober 2010
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requ... Volledige beschrijving
? points 249 b
102.99 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

6. Schuljahr, Lösungen, passend zum Kernlehrplan G8 2007 Heinz Griesel / Boek Gebonden (paperback)
common.buy 34.80 €
OS Conflitos Jurisdicionais Digitais Na Internet Global Veronica Scriptore F. Almeida / Boek Gebonden (paperback)
common.buy 36.41 €
Serenad / Boek Gebonden (paperback)
common.buy 20.12 €
L'engagement dans l'espace de la rencontre Chemla / Boek Gebonden (paperback)
common.buy 34.49 €
TOP
Tactical Neural Implant Front Line Assembly Audio Audio vinyl
common.buy 31.36 €
Britský voják – západní Evropa 1944 / Spel/speelgoed Speelgoed
common.buy 16.48 €
deutsche Adel in der Literatur Rudolf Eckart / Boek Gebonden (paperback)
common.buy 16.18 €
Des Calculs Migrateurs de l'Urethre, Par Le Dr Th. Mainguy, Mainguy-T / Boek Gebonden (paperback)
common.buy 14.56 €
Dios deseado y deseante : animal de fondo Juan Ramón Jiménez / Boek Gebonden (paperback)
common.buy 67.48 €
Lotta Wundertüte Sandra Roth / Boek Gebonden (paperback)
common.buy 10.01 €
Complete Poems Choing-chao Li / Boek Gebonden (paperback)
common.buy 14.05 €
Migration und Bildung Heiner Barz / Boek Gebonden (paperback)
common.buy 14.96 €
gegenort Lothar Quinkenstein / Boek Gebonden (paperback)
common.buy 14.05 €
Wie reduziere ich Kreuzband- und Meniskusverletzungen durch den Schulsport? Eine verletzungsprophylaktische Studie am Beispiel Fussball Dominik Lorenz / Boek Gebonden (paperback)
common.buy 21.54 €
Haus W: Vom 1. Strich zum fertigen Haus Frank W. D. Röder / Boek Gebonden (paperback)
common.buy 115.54 €
STAR WARS Flieger falten: 30 faltfertige Papiersternjäger Pat Murphy / Boek Gebonden (paperback)
common.buy 11.42 €
Kosten- und Leistungsrechnung Thomas Schildbach / Boek Gebonden (paperback)
common.buy 34.90 €
Potenziale und Grenzen der RFID-Technologie entlang der Supply Chain Simon Falke / Boek Gebonden (paperback)
common.buy 35.71 €
Unternehmensspezifische Determinanten von Direktinvestitionen Björn Voss / Boek Gebonden (paperback)
common.buy 25.08 €

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong development 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! Formal Methods for Embedded Distributed Systems is dedicated to the presentation of some techniques to be used in the context of distributed and/or embedded systems. Since formal techniques rely on models, i.e. different descriptions of the system to be designed, the presented techniques are located in the first part of software development. Formal Methods for Embedded Distributed Systems makes many connections between "traditional development approaches" and the latest developments in formal techniques that are known as the best solution to significantly increase the reliability of such systems. The target audience is mainly composed of professionals (engineers, researchers and teachers), and students (graduated and postgraduated) who want to have a clear understanding of how to manage the inherent complexity of critical and/or distributed systems.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods for Embedded Distributed Systems
Auteur Fabrice Kordon, Michel Lemoine
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 263
EAN 9781441954596
ISBN 1441954597
Libristo-code 01423731
Uitgeverij Springer, Berlin
Gewicht 451
Afmetingen 160 x 240 x 15

Categorieën

Informatica en informatietechnologie > Grafische en digitale media-applicaties > Computerondersteund ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeringstechnieken
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Enzo's Reading Log Martha Day Zschock / Boek Gebonden (paperback)
common.buy 8.39 €
Brief History of the Town of Norfolk, from 1738 to 1844 Auren Roys / Boek Gebonden (paperback)
common.buy 15.57 €
Damon's Short Stories Damon Hudgins / Boek Gebonden (paperback)
common.buy 11.22 €
Evolution of Faith, Roots of the Origins Debate M S M D Ronald L McCartney / Boek Gebonden (paperback)
common.buy 13.65 €
40M Nimrod Tank Destroyer and Armoured Anti Aircraft Gun Attila Bonhardt / Boek Gebonden (harde band)
common.buy 29.33 €
Railway Development Frank Bruinsma / Boek Gebonden (paperback)
common.buy 154.39 €
X-Rays, Spirits, and Witches Julian M. Murchison / Boek Gebonden (harde band)
common.buy 107.14 €
Maitreya's Distinguishing Phenomena and Pure Being Khenpo Tsultrim Gyamtso / Boek Gebonden (paperback)
common.buy 21.14 €
Bless Her Heart: Life as a Young Clergy Woman Anna Carter Florence / Boek Gebonden (paperback)
common.buy 16.68 €
Life of Admiral Vernon. by an Impartial Hand. Impartial hand. / Boek Gebonden (paperback)
common.buy 26.70 €
Applied Methods of Cost-effectiveness Analysis in Healthcare Alistair M Gray / Boek Gebonden (paperback)
common.buy 84.68 €
Distance Home Paula Saunders / Boek Gebonden (paperback)
common.buy 14.76 €
College Hill Gail Deibler Finke / Boek Gebonden (harde band)
common.buy 24.58 €
Voordelig
Exegetical Gems from Biblical Hebrew H. H. Hardy / Boek Gebonden (paperback)
common.buy 13.14 €
Studies on Central Asian History in Honor of Yuri Bregel Devin DeWeese / Boek Gebonden (harde band)
common.buy 58.17 €
Modernism and American Mid-20th Century Sacred Architecture Anat Geva / Boek Gebonden (paperback)
common.buy 69.20 €
Harold Huxley and the Mysterious Island Emma McNally / Boek Gebonden (paperback)
common.buy 9.91 €
Burn After Writing Teen Rhiannon Shove / Boek Gebonden (paperback)
common.buy 18.51 €
White Separatist Movement in the United States Betty / Boek Gebonden (paperback)
common.buy 37.73 €
Bobath Concept in Adult Neurology Bente Elisabeth Bassoe Gjelsvik / Boek Gebonden (harde band)
common.buy 100.56 €
Okonomie und Mathematik Otto Opitz / Boek Gebonden (paperback)
common.buy 66.46 €
The Armenian Version Of Mark: A Sonnet, Together With Fairmount Park And Other Poems (1920) Albert Joseph Edmunds / Boek Gebonden (paperback)
common.buy 15.17 €
Moral Uncanny in Black Mirror Margaret Gibson / Boek Gebonden (harde band)
common.buy 53.31 €
Health Food Cures Kimmy Nelson / Boek Gebonden (paperback)
common.buy 16.68 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken