Trustworthy Global Computing
10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
-
- US$34.99
-
- US$34.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2016년
1월 4일
언어
EN
영어
길이
172
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
4.7
MB
Programming Languages with Applications to Biology and Security
2015년
Formal Techniques for Distributed Objects, Components, and Systems
2017년
Trustworthy Global Computing
2014년
Formal Techniques for Distributed Objects, Components, and Systems
2018년
Formal Techniques for Distributed Objects, Components, and Systems
2019년
Formal Techniques for Distributed Objects, Components, and Systems
2016년