This book constitutes the refereed proceedings of the 5th International Symposium on Trustworthy Global Computing, TGC 2010, held in Munich, Germany, in February 2010. The 17 revised full papers presented and the 7 invited papers were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on types and processes; games and concurrent systems; certification of correctness; tools and languages; and probabilistic aspects.
"synopsis" may belong to another edition of this title.
Shipping:
£ 37.46
From Germany to U.S.A.
Shipping:
£ 2.99
Within U.S.A.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Mar3113020219620
Quantity: 1 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 392 pages. 9.20x6.10x0.90 inches. In Stock. Seller Inventory # x-3642156398
Quantity: 2 available
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Seller Inventory # V9783642156397
Quantity: 3 available
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 378 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 8647970/12
Quantity: 1 available
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Seller Inventory # V9783642156397
Quantity: 3 available
Seller: moluna, Greven, Germany
Condition: New. Seller Inventory # 5050890
Quantity: 3 available