Home > Computer Science > Information Theory > Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Sel

Browse

Top Sellers

Product Description

Product Details

This book constitutes the refereed proceedings of the 5th International Symposium on Trustworthly Global Computing, TGC 2010, held in Munich, Germany, in February 2010. The 17 revised full papers presented and the 7 invited papers were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on types and processes; games and concurrent systems; certification of correctness; tools and languages; and probabilistic aspects.
Author
Publisher Springer
Publication Date 2010-09-29
Binding Paperback
ISBN 3642156398
Number Of Pages 380
Sales Rank 99999999