Catalog > Sciences > General > Roberto Bruni & Vladimiro Sassone: Trustworthy Global Computing (PDF)

Roberto Bruni & Vladimiro Sassone
Trustworthy Global Computing [PDF ebook]
6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Support

Cover of Roberto Bruni & Vladimiro Sassone: Trustworthy Global Computing (PDF)

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.

€57.94

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642300653 ● Editor Roberto Bruni & Vladimiro Sassone ● Publisher Springer Berlin Heidelberg ● Published 2012 ● Downloadable 3 times ● Currency EUR ● ID 6322872 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Roberto Bruni Vladimiro Sassone

90,365 Ebooks in this category

Cover of Eyal (Security and Peace at Kinneret College on the Sea of Galilee, Israel) Ben-Ari & Helena (ISCTE-University Institute of Lisbon, Portugal) Carreiras: Understanding the Impact of Social Research on the Military

Eyal (Security and Peace at Kinneret College on the Sea of Galilee, Israel) Ben-Ari & Helena (ISCTE-University Institute of Lisbon, Portugal) Carreiras: Understanding the Impact of Social Research on the Military

This book seeks to chart and evaluate the impact of social research on the military itself. By ‘impact’, the authors in this volume simply mean that which has a marked effect or influence on changing …

Cover of Jeremy (Monash University, Australia.) Breaden & Stacey (Melbourne Law School, Australia) Steele: Internationalising Japan

Jeremy (Monash University, Australia.) Breaden & Stacey (Melbourne Law School, Australia) Steele: Internationalising Japan

In the twenty-first century, the concept of internationalisation remains a crucial tool for understanding the dynamics of globalising processes. It draws attention to the dimensions of conscious acti …

Cover of Cecily (RMIT University, Australia) Maller & Yolande (RMIT University, Australia) Strengers: Social Practices, Intervention and Sustainability

Cecily (RMIT University, Australia) Maller & Yolande (RMIT University, Australia) Strengers: Social Practices, Intervention and Sustainability

In an era of dramatic environmental change, social change is desperately needed to curb burgeoning consumption. Many calls to action have focused on individual behaviour　or technological innovation, …

Cover of Masami (Biomimetic Control Research Center RIKEN, Nagoya, Japan) Ito: Broadcasting in Japan

Masami (Biomimetic Control Research Center RIKEN, Nagoya, Japan) Ito: Broadcasting in Japan

Japan has developed what is arguably the most sophisticated and the most democratic broadcasting system in the world. The Great Kanto Earthquake of 1st September 1923, with its devastation and confus …

Cover of Shahram (Deakin University, Australia) Akbarzadeh: Routledge Handbook of International Relations in the Middle East

Shahram (Deakin University, Australia) Akbarzadeh: Routledge Handbook of International Relations in the Middle East

This handbook examines the regional and international dynamics of the Middle East. It challenges the state society dichotomy to make sense of decision-making and behavior by ruling regimes. The 33 ch …

Cover of Akhileshwari (Loyola Academy, India) Ramagoud & Simhadri (Osmania University, India) Somanaboina: The Routledge Handbook of the Other Backward Classes in India

Akhileshwari (Loyola Academy, India) Ramagoud & Simhadri (Osmania University, India) Somanaboina: The Routledge Handbook of the Other Backward Classes in India

This handbook presents an authoritative account of the development of movements, thoughts and policies of OBCs (Other Backward Classes) in India. Despite the adoption of egalitarian principles in the …

Cover of The Feminist Review Collective: Feminist Review

The Feminist Review Collective: Feminist Review

This issue includes articles on the current differences and debates between feminists on the questions around pornography and censorship. …

Cover of Barbara Barnouin & Yu Changgen: Ten Years Of Turbulence

Barbara Barnouin & Yu Changgen: Ten Years Of Turbulence

First published in 1993. The Cultural Revolution (CR) was undoubtedly one of the most tumultuous and dramatic periods of China”s modern history. It was marked by violence, factionalism and economic …

Cover of Gifford S. Rossi: An Arabian Adventure

Gifford S. Rossi: An Arabian Adventure

First published in 1996. This book is published posthumously by Gifford S. Rossi’ wife Marcella. Gifford S. Rossi died on 7 August 1994 and she undertook the task to fulfil his wish to publish this w …

Cover of James H. Grayson: Myths and Legends from Korea

James H. Grayson: Myths and Legends from Korea

This book contains 175 tales drawn equally from the ancient and modern periods of Korea, plus 16 further tales provided for comparative purposes. Nothing else on this scale or depth is available in a …