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.
€57.65
购买此电子书可免费获赠一本！
语言 英语 ● 格式 EPUB ● ISBN 9783319051192 ● 编辑 Martin Abadi & Alberto Lluch Lafuente ● 出版者 Springer International Publishing ● 发布时间 2014 ● 下载 3 时 ● 货币 EUR ● ID 6302698 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
72,775 此类电子书
