Trustworthy Global Computing Trustworthy Global Computing

Trustworthy Global Computing

10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers

    • 32,99 €
    • 32,99 €

Description de l’éditeur

This book constitutes the thoroughly
refereed post-conference proceedings of the 10th International Symposium on
Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September
2015.

The 10 revised full papers presented
were carefully reviewed and selected from 19 submissions. The Symposium on
Trustworthy Global Computing focuses on frameworks, tools, algorithms, and
protocols for open-ended, large-scale systems and applications, and on rigorous
reasoning about their behavior and properties.

GENRE
Informatique et Internet
SORTIE
2016
4 janvier
LANGUE
EN
Anglais
LONGUEUR
172
Pages
ÉDITIONS
Springer International Publishing
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
4,7
Mo
Reachability Problems Reachability Problems
2025
Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
2019