Над 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-Verlag New York Inc.
SKU: 01418223
Price: 119.55 EUR
Availability: InStock
Author: Fabrice Kordon
ISBN: 9781402079962

How to master the complexity

Fabrice Kordon

Michel Lemoine

Език

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

Книга С твърди корици

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

Издателство Springer-Verlag New York Inc., септември 1991

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

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

289 b

119.55 €

233.82 лв

Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Produção científica e inovação na gestão pública Mirian Miranda Cohen

С меки корици

62.18 € 121.61 лв

Zaya 3 Jia Wei Huang

С меки корици

20.31 € 39.72 лв

ICH LIEBE ES, WENN MEINE FRAU MICH ZUM DART SPIELEN GEHEN LÄSST - Gewohnheitstracker Gewohnheitstracker Notizbuch

С меки корици

10.59 € 20.71 лв

Ve špatné rodině Tarryn Fisher

С твърди корици

13.02 € 25.47 лв

Jaroslav Velc V oblacích Ondřej Neff

С твърди корици

84.46 € 165.18 лв

Érotique de l'administration Deslandes

Книга

22.53 € 44.07 лв

Physik 9./10. Schuljahr. Sachsen-Anhalt - Schulbuch

С твърди корици

32.87 € 64.29 лв

CAHORS 2024 BLAY-FOLDEX

С меки корици

11.06 € 21.62 лв

Nachweis von bakteriellen und viralen Erregern, die für das Massensterben verantwortlich sind Shuvho Chakra Borty

С меки корици

44.50 € 87.03 лв

detective difettoso. Ritorno al futuro per il romanzo poliziesco Roberto Barbolini

С меки корици

27.55 € 53.87 лв

Capire l'ecologia: Fase 1 Ifueko Oghogho Ukponmwan

С меки корици

55.15 € 107.86 лв

ROTHER Wanderführer Rund um Innsbruck. 54 Touren im Karwendel, in den Tuxer Alpen und im Sellrain Mark Zahel

С меки корици

16.12 € 31.53 лв

Čeština expres 1 (A1/1) Lída Holá

С меки корици

16.64 € 32.54 лв

Jednou když jsem výjimečně kouřil aneb Kuřácké povídky Remi Kloos

С меки корици

1.75 € 3.43 лв

Neue Medien im Englischunterricht Silvia Hennig

С меки корици

17.10 € 33.45 лв

Antiker Humanismus als padagogische Bewegung Jannina Schreiber

С меки корици

17.10 € 33.45 лв

R Tsel Mann - Das R Tsel Frau Jolie. de

С меки корици

7.70 € 15.05 лв

gestohlene Weihnachtsfrieden Herbert Langer

С меки корици

9.04 € 17.68 лв

Onu Da Sonra Anlatirim Okan Cil

С меки корици

9.71 € 19.00 лв

Defesa tecnica, eficiencia e garantismo Santiago Grilo Fabiano Franklin

С меки корици

29.41 € 57.51 лв

Martha Kim Marjana Gaponenko

С меки корици

11.78 € 23.04 лв

Llanto por Ignacio Sánchez Mejías Federico García Lorca

С меки корици

50.19 € 98.15 лв

Barcelona: La ciudad de Gaudí Moix Puig

С меки корици

13.07 € 25.57 лв

Tic Tac, claves para gestionar su tiempo Borja Ormazabal Madariaga

С меки корици

16.64 € 32.54 лв

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.