Trustworthy Global Computing / Lecture Notes in Computer Science Bd.7173 (PDF)
6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
Fr. 67.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Trustworthy Global Computing / Lecture Notes in Computer Science Bd.7173 (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.
Bibliographische Angaben
- 2012, 2012, 243 Seiten, Englisch
- Herausgegeben: Roberto Bruni, Vladimiro Sassone
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642300650
- ISBN-13: 9783642300653
- Erscheinungsdatum: 26.06.2012
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 5.16 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Trustworthy Global Computing / Lecture Notes in Computer Science Bd.7173"
0 Gebrauchte Artikel zu „Trustworthy Global Computing / Lecture Notes in Computer Science Bd.7173“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Trustworthy Global Computing / Lecture Notes in Computer Science Bd.7173".
Kommentar verfassen