Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods for Embedded Distributed Systems

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

How to master the complexity

Fabrice Kordon

Michel Lemoine

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01418223

Verlag Springer-Verlag New York Inc., September 1991

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requ... Vollständige Beschreibung

Libristo-Code: 01418223

300 b

123.35 €

Externes Lager Wir versenden in 9-13 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

16.08 €

Die Sammlungen Der Spruchverse Des Publilius Syrus (1877) Wilhelm Meyer

Broschur

21.71 €

Capire l'ecologia: Fase 1 Ifueko Oghogho Ukponmwan

Broschur

54.88 €

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

Broschur

11.35 €

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

Broschur

25.94 €

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

Broschur

44.23 €

CAHORS 2024 BLAY-FOLDEX

Broschur

9.54 €

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

Hardcover

32.66 €

Érotique de l'administration Deslandes

Buch

20.50 €

Boîte grain de sel pour des dîners de fête 50 recettes Sylviane Beauregard

Broschur

12.46 €

UNVERSCHÄMT BIBLISCH Markus / Matthias / Regula Bettler / Kuhn / Lehmann

Broschur

21.20 €

Jaroslav Velc V oblacích Ondřej Neff

Hardcover

79.51 €

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

Broschur

55.38 €

Pravidla úspěchu Bert Hellinger

Buch

21.60 €

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

Broschur

14.27 €

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

Broschur

5.22 €

Antiker Humanismus als padagogische Bewegung Jannina Schreiber

Broschur

16.08 €

Organisationen der Sozialwirtschaft Johanna Boedege-Wolf

Broschur

21.71 €

R Tsel Mann - Das R Tsel Frau Jolie. de

Broschur

7.63 €

gestohlene Weihnachtsfrieden Herbert Langer

Broschur

9.04 €

El quinto dia Frank Schätzing

Broschur

15.47 €

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

Broschur

14.37 €

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

Broschur

61.92 €

Defesa tecnica, eficiencia e garantismo Santiago Grilo Fabiano Franklin

Broschur

116.31 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods for Embedded Distributed Systems

Autor Fabrice Kordon, Michel Lemoine

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1991

Anzahl der Seiten 263

EAN 9781402079962

ISBN 1402079966

Libristo-Code 01418223

Verlag Springer-Verlag New York Inc.

Gewicht 1290

Abmessungen 155 x 235 x 18

Kategorie

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert