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. *Author: Bruni, Roberto/ Sassone, Vladimiro *Series Title: Lecture Notes in Computer Science *Series Number: 7173 *Binding Type: Paperback *Number of Pages: 241 *Publication Date: 2012/05/22 *Language: English *Dimensions: 9.10 x 6.10 x 0.60 inches
  • ISBN13: 9783642300646
  • Publisher: Springer
  • Pubilcation Year: 2012
  • Format: Paperback
  • Pages: 00241
SeriesLecture Notes in Computer Science
Series Volume Number7173
Publication DateMay 22, 2012

Trustworthy Global Computing

Write a Review

Free Shipping over $35 and Free Returns 

$0.42 off if you opt out of free returns