Erschienen: 19.03.2014 Abbildung von Abadi / Lluch Lafuente | Trustworthy Global Computing | 2014 | 8th International Symposium, T...

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.

Autoren

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

        Ihre Daten werden geladen ...