Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods for Embedded Distributed Systems

Name: Formal Methods for Embedded Distributed Systems
Brand: Springer-Verlag New York Inc.
SKU: 01418223
Price: 113.19 EUR
Availability: InStock
Author: Fabrice Kordon
ISBN: 9781402079962

How to master the complexity

Fabrice Kordon

Michel Lemoine

Lingua

Inglese

Libro Rigido

Codice Libristo: 01418223

Casa editrice Springer-Verlag New York Inc., settembre 1991

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

Codice Libristo: 01418223

277 b

113.19 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Capire l'ecologia: Fase 1 Ifueko Oghogho Ukponmwan

In brossura

57.69 €

Onu Da Sonra Anlatirim Okan Cil

In brossura

9.59 €

CAHORS 2024 BLAY-FOLDEX

In brossura

11.19 €

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

Rigido

34.19 €

Érotique de l'administration Deslandes

Libro

22.49 €

Jaroslav Velc V oblacích Ondřej Neff

Rigido

83.59 €

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

In brossura

10.99 €

gestohlene Weihnachtsfrieden Herbert Langer

In brossura

9.49 €

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

In brossura

16.49 €

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

In brossura

0.59 €

Neue Medien im Englischunterricht Silvia Hennig

In brossura

16.89 €

Antiker Humanismus als padagogische Bewegung Jannina Schreiber

In brossura

16.89 €

R Tsel Mann - Das R Tsel Frau Jolie. de

In brossura

7.99 €

Mord In Serie 32: Gemini Dagmar Bittner

CD audio

10.69 €

Deutsch-Franzoesische Krieg von 1870/71 im Lichte des Neorealismus Eike-Christian Kersten

In brossura

15.09 €

Defesa tecnica, eficiencia e garantismo Santiago Grilo Fabiano Franklin

In brossura

30.79 €

Barcelona: La ciudad de Gaudí Moix Puig

In brossura

15.99 €

Loix Et Constitutions Des Colonies Francoises de l'Amerique Sous Le Vent. Tome 3 Moreau De Saint-Mery-L-E

In brossura

54.09 €

American Assassin Steven Price

CD audio

15.99 €

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.