Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand

Trustworthy Global Computing

Name: Trustworthy Global Computing
Author: Bruni, Roberto

Bruni, Roberto

53,49 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1 Werktag(e)

Kurzinformation

Sprache:

Englisch

ISBN:

3642300642

Verlag:

Springer-Verlag GmbH

Seitenzahl:

243

Auflage:

Erschienen:

2012-05-22

Dein Kauf tut Gutes! Mit diesem Kauf trägst Du zur Neupflanzung eines Baumes bei. Jeder Baum zählt! Green Tree

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Neu 53,49 €

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

CO₂ neutral

Faire Preise

Schnelle & einfache Abwicklung

53,49 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1 Werktag(e)

53,49 €

inkl. MwSt. versandkostenfrei

Beschreibung

Trustworthy Global Computing

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

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. von Bruni, Roberto