Willkommen, schön sind Sie da!
Logo Ex Libris

Trustworthy Global Computing

  • Kartonierter Einband
  • 243 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held ... Weiterlesen
20%
72.00 CHF 57.60
Sie sparen CHF 14.40
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Unique visibility

State of the art research

Fast track conference proceedings

Produktinformationen

Titel: Trustworthy Global Computing
Untertitel: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Editor:
EAN: 9783642300646
ISBN: 3642300642
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Informatik
Anzahl Seiten: 243
Gewicht: 394g
Größe: H235mm x B155mm x T13mm
Jahr: 2012
Untertitel: Englisch
Auflage: 2012

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"