LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 Bpost point 7.99 Bpost 7.49 DPD point 3.49 GLS courier 4.99

Free delivery for orders over 69.99 euro.

Trustworthy Global Computing

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

Language EnglishEnglish
Book Paperback
Book Trustworthy Global Computing Roberto Bruni
Libristo code: 01661123
Publishers Springer, Berlin, November 2011
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Glo... Full description
? points 125 b
51.61
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns


Customers also purchased


FADES SABATE MARIN / Book Book
common.buy 29.38
Entschuldigung Miriam Zedelius / Book Hardback
common.buy 17.16
Opanowanie sztuki u?miechu Takshil Shah / Book Paperback
common.buy 37.36
¿Se puede creer en la Providencia? Descouvemont / Book Paperback
common.buy 16.45
Berattelsen som Pedagogisk metod Gunilla Gustafsson / Book Paperback
common.buy 13.53
Bevezetes AZ Angol Alkotmanyjogba Albert Venn Dicey / Book Paperback
common.buy 27.77
Die Kleine Meerjungfrau Hans Christian Andersen / Audio Audio CD
common.buy 10.29
Al-Imam Al-Hossein (Ghudwa Wa Uswa) (5): Silsilat Al-Nabi Wa Ahl-E-Bayte Grand Ayatollah S M T Al-Modarresi Db / Book Paperback
common.buy 6.76
Dieu n'habite pas La Havane Yasmina Khadra / Book Paperback
common.buy 11.30
Insan Kaynaklari Yönetimi Kolektif / Book Paperback
common.buy 25.04
Dem Leben verpflichtet Astrid Bartel / Book Paperback
common.buy 13.53

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

You might also be interested in


Dark Descent Of Elizabeth Frankenstein Kiersten White / Book Paperback
common.buy 15.75
Unboring Ancient China for Kids Unboring Histories / Book Paperback
common.buy 13.63
My Bindi (HB) Archana Sreenivasan / Book Hardback
common.buy 20.39
Spooky Sudbury Mark Leslie / E-book Adobe ePub DRM
common.buy 6.86
Nashville Cats Travis D. Stimeling / Book Hardback
common.buy 67.97
Queer Families in Hungary Rita Béres-Deák / Book Hardback
common.buy 79.69
Methods of Quantization Heimo Latal / Book Hardback
common.buy 102.82
Top
Attack On Titan Season 1 Part 2 Manga Box Set Hajime Isayama / Book Paperback
common.buy 33.32
Elite (Citizen Saga, Book 1) Nicola Claire / Book Paperback
common.buy 14.84
Jesus the Imagination Michael (The Mike Martin Consultancy) Martin / Book Paperback
common.buy 16.45
Pirandello's Love Letters to Marta Abba Luigi Pirandello / Book Paperback
common.buy 89.28
Dad DEL MAZO / Book Hardback
common.buy 14.94
Oil Shocks in Nigeria in the 20th Century Yannick Lamens / Book Paperback
common.buy 32.01
Brothers in Arms Andrew C. Mertha / Book Hardback
common.buy 52.31
Reorganizing Health Care Delivery Systems Jennie J. Konenfeld / Book Hardback
common.buy 151.00
Marginal Subjects Tsuchiya / Book Hardback
common.buy 68.98

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?