Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Ger

Description: Trustworthy Global Computing by Roberto Bruni, Vladimiro Sassone 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 papers are organized in topical sections on modeling formalisms for concurrent systems; probabilistic models for concurrency; FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description 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. Notes Unique visibilityState of the art researchFast track conference proceedings Back Cover 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. Feature Unique visibility State of the art research Fast track conference proceedings Details ISBN3642300642 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Year 2012 ISBN-10 3642300642 ISBN-13 9783642300646 Format Paperback Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Edited by Vladimiro Sassone DEWEY 005.8 Short Title TRUSTWORTHY GLOBAL COMPUTING Language English Media Book Series Number 7173 Subtitle 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers Pages 243 Illustrations 54 Illustrations, black and white; X, 243 p. 54 illus. DOI 10.1007/978-3-642-30065-3 Publication Date 2012-05-22 Author Vladimiro Sassone Audience Professional & Vocational Series Lecture Notes in Computer Science We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96268610;

Price: 115.04 AUD

Location: Melbourne

End Time: 2025-01-05T07:28:37.000Z

Shipping Cost: 9.49 AUD