Trustworthy global computing: 6th international symposium, tgc 2011, aachen, germany, june 9-10, 2011. revised selected papers
Auteur :
Bruni, Roberto
ISBN :
9783642300646
Date de publication :
18 mai 2012
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
364 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.