Trustworthy global computing: [electronic resource] :: 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers /: Pierre Ganty, Michele Loreti (eds.).

Ganty, Pierre,; Loreti, Michele,

doi:10.1007/978-3-319-28766-9

Trustworthy global computing [electronic resource] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers / Pierre Ganty, Michele Loreti (eds.).

TGC (Symposium) (10th : 2015 : Madrid, Spain); Ganty, Pierre, editor.; Loreti, Michele, editor.

2016

QA76.9.A25

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Trustworthy global computing [electronic resource] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers / Pierre Ganty, Michele Loreti (eds.).

Meeting Name

TGC (Symposium) (10th : 2015 : Madrid, Spain)

ISBN

9783319287669 (electronic book)
3319287664 (electronic book)
9783319287652

DOI

https://doi.org/10.1007/978-3-319-28766-9

Published

Cham : Springer, 2016.

Language

English

Description

1 online resource (ix, 163 pages) : color illustrations

Item Number

10.1007/978-3-319-28766-9 doi

Call Number

QA76.9.A25

Dewey Decimal Classification

005.8

Summary

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015. The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed January 15, 2016).

Added Author

Ganty, Pierre, editor.
Loreti, Michele, editor.

Series

Lecture notes in computer science ; 9533.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.

Linked Resources

Online Access