Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers by Roberto BruniTrustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers by Roberto Bruni

Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10…

byRoberto Bruni

Paperback | May 22, 2012

Pricing and Purchase Info

$81.74 online 
$96.95 list price save 15%
Earn 409 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.
Title:Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10…Format:PaperbackDimensions:243 pages, 23.5 × 15.5 × 0.01 inPublished:May 22, 2012Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642300642

ISBN - 13:9783642300646

Reviews