Erschienen: 19.03.2014 Abbildung von Abadi / Lluch Lafuente | Trustworthy Global Computing | 2014

Abadi / Lluch Lafuente

Trustworthy Global Computing

8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

lieferbar (3-5 Tage)

2014. Buch. x, 331 S. 60 s/w-Abbildungen, Bibliographien. Softcover

Springer. ISBN 978-3-319-05118-5

Format (B x L): 15,5 x 23,5 cm

Gewicht: 528 g

In englischer Sprache

Produktbeschreibung

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, p-calculus, information flow, models, specifications and proofs and quantitative analysis.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...