Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Wirsing, Martin. (Editor), Hofmann, Martin. (Editor), Rauschmayer, Axel. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6084
• Subjects: Computer science.; Computer Communication Networks.; Software engineering.; Data encryption (Computer science).; Coding theory.; Computer software.; Information Systems.; Computer Science.; Data Encryption.; Management of Computing and Information Systems.; Algorithm Analysis and Problem Complexity.; Software Engineering.; Coding and Information Theory.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15640-3
• Physical Description: XII, 380p. 72 illus. online resource.
• ISBN: 9783642156403
• ISSN: 0302-9743

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.