Catalog > Științe > 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

Ajutor

Copertina 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

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format PDF ● ISBN 9783642300653 ● Editor Roberto Bruni & Vladimiro Sassone ● Editura Springer Berlin Heidelberg ● Publicat 2012 ● Descărcabil 3 ori ● Valută EUR ● ID 6322872 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Roberto Bruni Vladimiro Sassone

88.766 Ebooks din această categorie

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Pagina următoare >>>