Trustworthy Global Computing
10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
-
- 34٫99 US$
-
- 34٫99 US$
وصف الناشر
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.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٦
٤ يناير
اللغة
EN
الإنجليزية
عدد الصفحات
١٧٢
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٤٫٧
م.ب.
Programming Languages with Applications to Biology and Security
٢٠١٥
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٧
Trustworthy Global Computing
٢٠١٤
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٨
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٩
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٦