Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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.49 €
phone Contact phoneHow to shop
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.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Die Kleine Meerjungfrau Hans Christian Andersen / Audio Audio CD
common.buy 10.32 €
FADES SABATE MARIN / Book Book
common.buy 19.74 €
¿Se puede creer en la Providencia? Descouvemont / Book Paperback
common.buy 16.40 €
Encuesta de Población Activa .Estadística de flujos. Metodología / Book Paperback
common.buy 10.12 €
Berattelsen som Pedagogisk metod Gunilla Gustafsson / Book Paperback
common.buy 13.56 €
Bevezetes AZ Angol Alkotmanyjogba Albert Venn Dicey / Book Paperback
common.buy 27.84 €
Schul-Chor - Xmas World, Chor (3- bis 4-stimmig) u. Klavier, Chorbuch Ulrike Wenckebach / Printed items Sheet music
common.buy 18.32 €
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.78 €
Insan Kaynaklari Yönetimi Kolektif / Book Paperback
common.buy 25.11 €
Dem Leben verpflichtet Astrid Bartel / Book Paperback
common.buy 13.56 €

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.

About the book

Full name Trustworthy Global Computing
Author Roberto Bruni, Vladimiro Sassone
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 243
EAN 9783642300646
ISBN 3642300642
Libristo code 01661123
Publishers Springer, Berlin
Weight 364
Dimensions 155 x 235 x 13

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory
Reference, Information & Interdisciplinary subjects > Research & information: general > Coding theory & cryptology
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer security > Data encryption
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Top
Dark Descent Of Elizabeth Frankenstein Kiersten White / Book Paperback
common.buy 15.79 €
Reorganizing Health Care Delivery Systems Jennie J. Konenfeld / Book Hardback
common.buy 151.41 €
Brothers in Arms Andrew C. Mertha / Book Hardback
common.buy 52.45 €
Oil Shocks in Nigeria in the 20th Century Yannick Lamens / Book Paperback
common.buy 32.10 €
Lore of the Stars: Folklore and Wisdom from the Skies Above Alex Hithersay / Book Hardback
common.buy 19.44 €
Pirandello's Love Letters to Marta Abba Luigi Pirandello / Book Paperback
common.buy 66.94 €
Elite (Citizen Saga, Book 1) Nicola Claire / Book Paperback
common.buy 14.88 €
31 Day Promise Prayer and Encouragement Journal for Parents and Caregivers of Autistic Children Donna Miles / E-book Adobe ePub DRM
common.buy 4.55 €
Methods of Quantization Heimo Latal / Book Hardback
common.buy 103.10 €
Spooky Sudbury Mark Leslie / E-book Adobe ePub DRM
common.buy 6.88 €
Nashville Cats Travis D. Stimeling / Book Hardback
common.buy 46.38 €

Login

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

 
mandatory
mandatory
Forgotten password

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