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 :-(

Type Systems for Distributed Programs: Components and Sessions

Name: Type Systems for Distributed Programs: Components and Sessions
Brand: Atlantis Press (Zeger Karssen)
SKU: 10930423
Price: 94.59 EUR
Availability: InStock
Author: Ornela Dardha
ISBN: 9789462392038

Ornela Dardha

Sprache

Englisch

Buch Hardcover

Libristo-Code: 10930423

Verlag Atlantis Press (Zeger Karssen), Juli 2016

In this book we develop powerful techniques based on formal methods for the verification of correctn... Vollständige Beschreibung

Libristo-Code: 10930423

232 b

94.59 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Digital Twin Adoption and BIM-GIS Implementation Sara Shirowzhan

Hardcover

211.20 €

Hören, lesen & spielen 2 Querflöte

Broschur

26.99 €

Vom Tod zum Leben Kurt Koch

Hardcover

20.00 €

12 ateliers d'écriture créative pour les 9/12 ans - Et si on écrivait ? Mercat-Maheu

Buch

15.69 €

Filosofia per a exploradors polars ERLING KAGGE

Broschur

17.19 €

Numéro 1 Les Dauphins - Kididoc animaux Delphine Grinberg

Hardcover

10.99 €

Synonymia Libellularum Europaearum... Hermann August Hagen

Broschur

17.09 €

Glanz und Elend der Siebenbürger Sachsen Hans Bergel

Hardcover

24.80 €

Qui és el de la foto? M. Carme Roca

Broschur

14.99 €

Ideología sexista y lenguaje Aguas Vivas Catalá Gonzálvez

Broschur

10.39 €

KURZ- UND LANGZEITERGEBNISSE DES LAPAROSKOPISCHEN GASTRIC BANDING Maria-Theresa Stingl

Broschur

53.90 €

In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings. The main contributions of this book are twofold. i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations. ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.

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 Type Systems for Distributed Programs: Components and Sessions

Autor Ornela Dardha

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2016

Anzahl der Seiten 192

EAN 9789462392038

ISBN 9789462392038

Libristo-Code 10930423

Verlag Atlantis Press (Zeger Karssen)

Gewicht 4498

Abmessungen 155 x 235 x 16

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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