Catalog > Ciencia > 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

Soporte

Portada de 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

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● ISBN 9783642300653 ● Editor Roberto Bruni & Vladimiro Sassone ● Editorial Springer Berlin Heidelberg ● Publicado 2012 ● Descargable 3 veces ● Divisa EUR ● ID 6322872 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Roberto Bruni Vladimiro Sassone

88.766 Ebooks en esta categoría

Portada de Nuray (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Demirel & H. Sebnem (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Duzgun: Remote Sensing of the Mine Environment

Nuray (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Demirel & H. Sebnem (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Duzgun: Remote Sensing of the Mine Environment

A guide for students and professionals, this introductory course book covers the basic principles of remote sensing and its applications in mine environment monitoring. Building from a reader»s basi …

Portada de Ewan (Durham University, UK) Anderson: Middle East

Ewan (Durham University, UK) Anderson: Middle East

Middle East is a lively and much-needed update of a well-respected work. Based on W. B. Fisher»s book of the same name published in 1978, Anderson provides a comprehensive account of the physical ge …

Portada de Yu Wai Vic Li: China’s Financial Opening

Yu Wai Vic Li: China’s Financial Opening

The twenty-first century has not only seen China become one of the world’s largest trading nations, but also its gradual integration into the global financial system. Chinese-sponsored project financ …

Portada de Jess French: Minibeasts with Jess French

Jess French: Minibeasts with Jess French

Fancy meeting a foot-long centipede or a spider the size of your dinner plate? Willing to let the world»s weirdest and most fascinating minibeasts join you on your sofa? Then allow Jess French to le …

Portada de Justin Spinney: Understanding Urban Cycling

Justin Spinney: Understanding Urban Cycling

Academic interest in cycling has burgeoned in recent years with significant literature relating to the health and environmental benefits of cycling, the necessity for cycle-specific infrastructure, a …

Portada de Chandan Sinha: Kindling of an Insurrection

Chandan Sinha: Kindling of an Insurrection

The tribal areas of central and eastern India have been under the intractable shadow of left-wing extremism in recent years, fuelling a serious internal crisis in the country. While the clashes betwe …

Portada de Mark Dailey: A Leader’s Guide to Storytelling

Mark Dailey: A Leader’s Guide to Storytelling

Part manual, part memoir and part call to action, this book demonstrates why the core skill needed by leaders in the next decade and into the future will be authentic and effective communication. Com …

Portada de Elizabeth Mackinlay: Writing Feminist Autoethnography

Elizabeth Mackinlay: Writing Feminist Autoethnography

Writing Feminist Autoethnography explores the personal-is-political relationship between autoethnography and feminist theory and practice. Each chapter introduces the lives and works of a range of fe …

Portada de H. Hanak: Soviet Foreign Policy Since the Death of Stalin

H. Hanak: Soviet Foreign Policy Since the Death of Stalin

Originally published in 1972, this volume contains selected significant documents to illustrate Soviet foreign policy between 1953 and 1970, according to its author, »in the words of Soviet leaders …

Portada de James H. Conrad & Thad Sitton: Freedom Colonies

James H. Conrad & Thad Sitton: Freedom Colonies

A history of independent African American settlements in Texas during the Jim Crow era, featuring historical and contemporary photographs. In the decades following the Civil War, nearly a quarter of …

siguiente página >>>