Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

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

Ornela Dardha

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 10930423

Uitgeverij Atlantis Press (Zeger Karssen), juli 2016

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

Libristo-code: 10930423

232 b

95.65 €

In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Digital Twin Adoption and BIM-GIS Implementation Sara Shirowzhan

Gebonden (harde band)

229.72 €

Hören, lesen & spielen 2 Querflöte

Gebonden (paperback)

30.02 €

Vom Tod zum Leben Kurt Koch

Gebonden (harde band)

24.06 €

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

Boek

19.40 €

Filosofia per a exploradors polars ERLING KAGGE

Gebonden (paperback)

19.20 €

Numéro 1 Les Dauphins - Kididoc animaux Delphine Grinberg

Gebonden (harde band)

13.64 €

Synonymia Libellularum Europaearum... Hermann August Hagen

Gebonden (paperback)

16.47 €

Glanz und Elend der Siebenbürger Sachsen Hans Bergel

Gebonden (harde band)

23.55 €

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

Gebonden (paperback)

16.47 €

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

Gebonden (paperback)

11.52 €

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

Gebonden (paperback)

48.02 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Type Systems for Distributed Programs: Components and Sessions

Auteur Ornela Dardha

Taal

Engels

Bindwijze Boek - Gebonden (harde band)

Datum van uitgifte 2016

Aantal pagina's 192

EAN 9789462392038

ISBN 9789462392038

Libristo-code 10930423

Uitgeverij Atlantis Press (Zeger Karssen)

Gewicht 4498

Afmetingen 155 x 235 x 16

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger