Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
Heftet /
2010
/ Engelsk
Produktdetaljer
ISBN
9783642156397
Publisert
2010-09-13
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
12
Constitutes the proceedings of the 5th International Symposium on Trustworthy Global Computing, TGC 2010, held in Munich, Germany, in February 2010. This title includes papers that are organized in topical sections on types and processes; games and concurrent systems; certification of correctness; tools and languages; and probabilistic aspects.
Les mer
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783642156397
Publisert
2010-09-13
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
12