Trustworthy Global Computing

Name: Trustworthy Global Computing
Brand: Springer, Berlin
SKU: 9783642300646
Price: 52.77 EUR
Availability: InStock

6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Автор: Roberto Bruni, Vladimiro Sassone

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.77 € 103.22 лв

This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Glo...

Информация за книгата

Автор

Roberto Bruni, Vladimiro Sassone

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

243

EAN

9783642300646

ISBN

3642300642

Enbook ID

01661123

Издател

Springer, Berlin

Теглоt

364

Размери

155 x 235 x 13

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Trustworthy Global Computing

6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Информация за книгата

Пълно описание

Може също да ви хареса

Dark Descent Of Elizabeth Frankenstein

Reorganizing Health Care Delivery Systems

Brothers in Arms

Oil Shocks in Nigeria in the 20th Century

Lore of the Stars: Folklore and Wisdom from the Skies Above

Pirandello's Love Letters to Marta Abba

Elite (Citizen Saga, Book 1)

31 Day Promise Prayer and Encouragement Journal for Parents and Caregivers of Autistic Children

Methods of Quantization

Spooky Sudbury

Nashville Cats

Клиенти, които купиха тази книга, купиха също

Die Kleine Meerjungfrau

FADES

¿Se puede creer en la Providencia?

Encuesta de Población Activa .Estadística de flujos. Metodología

Berattelsen som Pedagogisk metod

Bevezetes AZ Angol Alkotmanyjogba

Schul-Chor - Xmas World, Chor (3- bis 4-stimmig) u. Klavier, Chorbuch

Al-Imam Al-Hossein (Ghudwa Wa Uswa) (5): Silsilat Al-Nabi Wa Ahl-E-Bayte

Insan Kaynaklari Yönetimi

Dem Leben verpflichtet