Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Trustworthy Global Computing

Name: Trustworthy Global Computing
Brand: Springer, Berlin
SKU: 01661123
Price: 19925 HUF
Availability: InStock
Author: Roberto Bruni
ISBN: 9783642300646

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

Roberto Bruni

Vladimiro Sassone

Language

English

Book Paperback

Libristo code: 01661123

Publishers Springer, Berlin, November 2011

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

Libristo code: 01661123

136 b

19 925 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Die Kleine Meerjungfrau Hans Christian Andersen

Audio CD

3 669 Ft

FADES SABATE MARIN

Book

7 015 Ft

¿Se puede creer en la Providencia? Descouvemont

Paperback

5 812 Ft

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

Paperback

3 595 Ft

Berattelsen som Pedagogisk metod Gunilla Gustafsson

Paperback

5 266 Ft

Bevezetes AZ Angol Alkotmanyjogba Albert Venn Dicey

Paperback

10 652 Ft

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

Sheet music

6 515 Ft

Al-Imam Al-Hossein (Ghudwa Wa Uswa) (5): Silsilat Al-Nabi Wa Ahl-E-Bayte Grand Ayatollah S M T Al-Modarresi Db

Paperback

2 582 Ft

Insan Kaynaklari Yönetimi Kolektif

Paperback

9 657 Ft

Dem Leben verpflichtet Astrid Bartel

Paperback

5 238 Ft

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.