Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 2188 CZK
Availability: InStock
Author: Ornela Dardha
ISBN: 9789462392038

Ornela Dardha

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 10930423

Nakladatelství Atlantis Press (Zeger Karssen), červenec 2016

In this book we develop powerful techniques based on formal methods for the verification of correctn... Celý popis

Libristo kód: 10930423

219 b

2 188 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Digital Twin Adoption and BIM-GIS Implementation Sara Shirowzhan

Pevná

5 315 Kč

Hören, lesen & spielen 2 Querflöte

Brožovaná

691 Kč

Vom Tod zum Leben Kurt Koch

Pevná

555 Kč

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

Kniha

472 Kč

Filosofia per a exploradors polars ERLING KAGGE

Brožovaná

466 Kč

Numéro 1 Les Dauphins - Kididoc animaux Delphine Grinberg

Pevná

331 Kč

Synonymia Libellularum Europaearum... Hermann August Hagen

Brožovaná

380 Kč

Glanz und Elend der Siebenbürger Sachsen Hans Bergel

Pevná

539 Kč

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

Brožovaná

402 Kč

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

Brožovaná

281 Kč

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

Brožovaná

1 095 Kč

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.