Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods for Embedded Distributed Systems

Name: Formal Methods for Embedded Distributed Systems
Brand: Springer, Berlin
SKU: 01423731
Price: 102.38 EUR
Availability: InStock
Author: Fabrice Kordon
ISBN: 9781441954596

How to master the complexity

Fabrice Kordon

Michel Lemoine

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01423731

Nakladnici Springer, Berlin, listopad 2010

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requ... Cijeli opis

Libristo kod: 01423731

249 b

102.38 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Mathematik Förderschule - Arbeitshefte Karl J. Klauer

Meki uvez

17.09 €

Unternehmensspezifische Determinanten von Direktinvestitionen Björn Voss

Meki uvez

24.93 €

Tactical Neural Implant Front Line Assembly Audio

Audio vinil

29.76 €

Potenziale und Grenzen der RFID-Technologie entlang der Supply Chain Simon Falke

Meki uvez

35.51 €

Kosten- und Leistungsrechnung Thomas Schildbach

Meki uvez

34.69 €

L'engagement dans l'espace de la rencontre Chemla

Meki uvez

31.67 €

STAR WARS Flieger falten: 30 faltfertige Papiersternjäger Pat Murphy

Meki uvez

11.25 €

Asterix latein 08 Albert Uderzo

Tvrdi uvez

14.37 €

Serenad

Meki uvez

22.92 €

Haus W: Vom 1. Strich zum fertigen Haus Frank W. D. Röder

Meki uvez

114.89 €

Wie reduziere ich Kreuzband- und Meniskusverletzungen durch den Schulsport? Eine verletzungsprophylaktische Studie am Beispiel Fussball Dominik Lorenz

Meki uvez

21.41 €

deutsche Adel in der Literatur Rudolf Eckart

Meki uvez

16.08 €

OS Conflitos Jurisdicionais Digitais Na Internet Global Veronica Scriptore F. Almeida

Meki uvez

36.21 €

Migration und Bildung Heiner Barz

Meki uvez

14.88 €

Dios deseado y deseante : animal de fondo Juan Ramón Jiménez

Meki uvez

67.07 €

Complete Poems Choing-chao Li

Meki uvez

11.96 €

6. Schuljahr, Lösungen, passend zum Kernlehrplan G8 2007 Heinz Griesel

Meki uvez

31.27 €

Britský voják – západní Evropa 1944

Igračka

14.17 €

Des Calculs Migrateurs de l'Urethre, Par Le Dr Th. Mainguy, Mainguy-T

Meki uvez

14.47 €

Lotta Wundertüte Sandra Roth

Meki uvez

9.95 €

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.