Copied Trustworthy Global Computing
Trustworthy Global Computing
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 Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$54.99 | $54.99 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Planning and Architectural Design of Integrated Services Digital Networks
$219.99
Italian Psychology and Jewish Emigration under Fascism
$54.99
Im Diskurs mit dem Qurn
$64.99
Als wre immer Sonntag
$29.99
Advances in Modelling and Clinical Application of Intravenous Anaesthesia
$169.99
Naturstoffe der chemischen Industrie
$69.99
The Dynamics of the Computer Industry: Modeling the Supply of Workstations and their Components
$109.99
Social Work and Prostitution
$39.99
Delay Differential Equations and Applications to Biology
$109.00
Evaluation von Hochschulleistungen
$44.99
Nonlinear Structures & Systems, Volume 1
$149.00
Forest Properties and Carbon Cycle Studies from Earth Observations
$189.00
Hfische Lyrik
$24.99
Gegenstandstheorie und Theorie der Intentionalitt bei Alexius Meinong
$179.00
Prophylaxe und Therapie der Kinderkrankheiten
$59.99
Innovationsaktivitten wissensintensiver Dienstleistungen
$59.99
The Ethics of Animal Labor
$109.00
Orchid Biology
$219.99
Platelets, Haemostasis and Inflammation
$169.99
Asia and UNCLOS 30 Years Implementation
$149.00
Welcome Books-Simple Machines: What Is a Pulley?
$3.71
Die letzten Jahre des Nikolaus von Kues
$59.99
Immunglobuline in der Frauenheilkunde
$69.99
Super Rabbit Boy Blasts Off!: A Branches Book (Press Start! #5)
$5.24
Combinatorial Methods in Topology and Algebra
$39.99
Neuronale Netze zur Prognose und Disposition im Handel
$69.99
Das Handlungsunrecht der Steuerhinterziehung
$69.99
Gemeinfaliche Belehrung ber die ansteckende Blutarmut des Pferdes
$54.99
Testing and Characterisation of Earth-based Building Materials and Elements
$139.99
Digitalization
$49.99
Praktisches Handbuch der gesamten Schweitechnik
$79.99
Basic Aspects of Blood Trauma
$54.99
Accentuated Innovations in Cognitive Info-Communication
$169.99
Deportation and Return in a Border-Restricted World
$129.99
Low-Temperature Microscopy and Analysis
$219.99
Object Oriented Simulation
$129.00
GeNeDis 2014
$169.99
River Morphology
$39.99
Fuzzy Database Modeling of Imprecise and Uncertain Engineering Information
$109.99
Neural Information Processing
$84.99
