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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Designing Reliable Distributed Systems

Name: Designing Reliable Distributed Systems
Brand: Springer London Ltd
SKU: 09208905
Price: 69.79 EUR
Availability: InStock
Author: Peter Csaba Ölveczky
ISBN: 9781447166863

Peter Csaba Ölveczky

Sprache

Englisch

Buch Broschur

Libristo-Code: 09208905

Verlag Springer London Ltd, Dezember 2017

This book introduces formal modeling and analysis of distributed systems by means of executable form... Vollständige Beschreibung

Libristo-Code: 09208905

171 b

69.79 € inkl. MwSt.

Externes Lager Wir versenden in 8-11 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Brouci čeledi kožojedovití (Dermestidae) Jiří Háva

Broschur

7.39 €

Diferentes. Estrellas queer transnacionales Y cine musical durante el franquismo Lomas Martinez Santiago Lomas Martinez

Adobe ePub DRM

38.69 €

Sushi Stefanie Nickel

Broschur

14.99 €

Une Breve Histoire de la Violence Philippe Breton

Broschur

15.59 €

La Vitesse foudroyante du passé Raymond Carver

Broschur

15.89 €

Auta, vlaky, bagry taky Hana Zobačová

Hardcover

6.69 €

Les Vies D'Epicure, De Platon Et De Pythagore (1752) Epicurus

Broschur

25.89 €

Afrokids Olaolu Fajembola

Broschur

9.80 €

Appel Au Roi Charles X, Par Une Victime Du Systeme Deplorable De Satge-B

Broschur

10.89 €

Die Syntax Von Selbstreparaturen Laura Di Venanzio

Hardcover

174.95 €

Lettres de GUI Patin, . T. 1 (Ed.1846) Guy Patin

Broschur

30.59 €

Speer Joachim C. Fest

Hardcover

14.90 €

This book introduces formal modeling and analysis of distributed systems by means of executable formal modeling in rewriting logic and model checking analyses in the tool Maude. The first part of the book introduces classical equational algebraic specification and term rewrite systems, including reasoning about confluence and termination, as well as equational logic. The second part introduces rewriting logic and deals with the executable formal modeling of distributed systems. The book develops executable formal Maude models of classic distributed systems, which are then simulated and are further analysed through reachability analysis in Maude. In particular, the book shows how Maude can be used to break the Needham-Schroeder Public Key cryptographic protocol. Finally, the book introduces (linear) temporal logic that can be used to express complex requirements that distributed systems must satisfy and it uses Maude LTL model checker to analyze whether our models satisfy desired temporal properties.

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 Designing Reliable Distributed Systems

Autor Peter Csaba Ölveczky

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2017

Anzahl der Seiten 313

EAN 9781447166863

ISBN 1447166868

Libristo-Code 09208905

Verlag Springer London Ltd

Gewicht 564

Abmessungen 238 x 159 x 18

Kategorie

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > 3D-Grafik und Modellierung

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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

Das könnte Sie auch interessieren

Identification of Dynamic Systems Marco Munchhof

Broschur

89.59 €

Walking Washington's History Judy Bentley

Broschur

12.69 €

Thanksgiving Coloring Book for Thankful Kids: Thanksgiving Themed Activity Book to Keep Creative Kids Occupied over the Thanksgiving Holidays Holiday Puzzle Press

Broschur

8.89 €