Description: Trustworthy Global Computing Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers Author(s): Roberto Bruni, Vladimiro Sassone Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642300646, 978-3642300646 Synopsis 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.
Price: 38.14 GBP
Location: Aldershot
End Time: 2024-11-12T09:06:42.000Z
Shipping Cost: 29.05 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Trustworthy Global Computing
Number of Pages: 243 Pages
Language: English
Publication Name: Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2012
Subject: Technology, Computer Science
Item Height: 235 mm
Item Weight: 394 g
Type: Textbook
Author: Vladimiro Sassone, Roberto Bruni
Subject Area: Information Science
Series: Theoretical Computer Science and General Issues
Item Width: 155 mm
Format: Paperback
