Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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

Ornela Dardha

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 10930423

Založba Atlantis Press (Zeger Karssen), julij 2016

In this book we develop powerful techniques based on formal methods for the verification of correctn... Celoten opis

Koda Libristo: 10930423

219 b

90.54 €

Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Digital Twin Adoption and BIM-GIS Implementation Sara Shirowzhan

Trda

219.98 €

Hören, lesen & spielen 2 Querflöte

Mehka

25.61 €

Vom Tod zum Leben Kurt Koch

Trda

20.85 €

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

Knjiga

17.82 €

Filosofia per a exploradors polars ERLING KAGGE

Mehka

17.51 €

Numéro 1 Les Dauphins - Kididoc animaux Delphine Grinberg

Trda

12.45 €

Synonymia Libellularum Europaearum... Hermann August Hagen

Mehka

15.69 €

Glanz und Elend der Siebenbürger Sachsen Hans Bergel

Trda

22.27 €

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

Mehka

15.39 €

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

Mehka

10.73 €

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

Mehka

45.26 €

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.