Tell your friends about this item:
Trustworthy Global Computing: 6th International Symposium, Tgc 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Roberto Bruni
Trustworthy Global Computing: 6th International Symposium, Tgc 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Roberto Bruni
Constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. This title features papers that are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; and more.
256 pages, 54 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | May 22, 2012 |
| ISBN13 | 9783642300646 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 256 |
| Dimensions | 156 × 234 × 13 mm · 385 g |
| Language | French |
| Editor | Bruni, Roberto |
| Editor | Sassone, Vladimiro |
More by Roberto Bruni
Show allMere med samme udgiver
See all of Roberto Bruni ( e.g. Paperback Book , Book and Hardcover Book )