Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Formal Methods for Embedded Distributed Systems

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

How to master the complexity

Fabrice Kordon

Michel Lemoine

Език

Английски език

Книга С меки корици

Код Либристо: 01423731

Издателство Springer, Berlin, октомври 2010

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requ... Цялото описание

Код Либристо: 01423731

249 b

102.91 €

201.27 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Serenad

С меки корици

20.10 € 39.32 лв

L'engagement dans l'espace de la rencontre Chemla

С меки корици

35.71 € 69.85 лв

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

С меки корици

36.44 € 71.26 лв

Mathematik Förderschule - Arbeitshefte Karl J. Klauer

С меки корици

15.92 € 31.13 лв

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

С меки корици

35.71 € 69.85 лв

Kosten- und Leistungsrechnung Thomas Schildbach

С меки корици

34.89 € 68.23 лв

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

С меки корици

11.42 € 22.33 лв

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

С меки корици

122.24 € 239.08 лв

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

С меки корици

21.55 € 42.15 лв

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

С меки корици

34.68 € 67.82 лв

Migration und Bildung Heiner Barz

С меки корици

14.93 € 29.21 лв

Complete Poems Choing-chao Li

С меки корици

12.04 € 23.55 лв

Lotta Wundertüte Sandra Roth

С меки корици

10.02 € 19.60 лв

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

С меки корици

67.40 € 131.82 лв

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

С меки корици

14.57 € 28.50 лв

deutsche Adel in der Literatur Rudolf Eckart

С меки корици

16.12 € 31.53 лв

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

Играчка

17.36 € 33.96 лв

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.