|
 |
|
 |
 |
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France,...
|
by Gilles Barthe and Cédric Fournet
|
List Price: $79.95
$79.95
At Amazon
|
|
Paperback: 401 pages
Publisher: Springer; 1 edition April 28, 2008
Language: English
ISBN-10: 3540786627
ISBN-13: 978-3540786627
Product Dimensions:
9.2 x 6.1 x 0.9 inches
Shipping Weight: 1.4 pounds
Product Description
This book constitutes the thoroughly refereed post-conference proceedings of the Third Symposium on Trustworthy Global Computing, TGC 2007; it moreover contains tutorials from the adjacent Workshop on the Interplay of Programming Languages and Cryptography, both held in Sophia-Antipolis, France, in November 2007.
The 19 revised papers presented together with 3 invited papers were carefully selected from 48 submissions during two rounds of reviewing and improvement. The TGC 2007 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. The volume concludes with 3 tutorial papers, presented at the co-located Workshop on the Interplay of Programming Languages and Cryptography.
|
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France,...
List Price: $79.95
Available from Amazon
Price: $79.95
| |
|
|
|
|
