Revised Selected Papers
(Lecture Notes in ... Computer Science and General Issues)
By Martin Wirsing, Martin Hofmann, Axel Rauschmayer
Publisher: Springer
Pages: 380, Date: 2010-09-29
ISBN-10 : 3642156398, PDF 5.78 MB
Description:
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.
Buy this Books From Amazon
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Download Link
By Martin Wirsing, Martin Hofmann, Axel Rauschmayer
Publisher: Springer
Pages: 380, Date: 2010-09-29
ISBN-10 : 3642156398, PDF 5.78 MB
Description:
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.
Buy this Books From Amazon
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Download Link