0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Trustworthy Global Computing - Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers... Trustworthy Global Computing - Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Paperback, 2008 ed.)
Gilles Barthe, Cedric Fournet
R1,596 Discovery Miles 15 960 Ships in 10 - 15 working days

This volume contains the post-proceedings of the third edition of the Int- national Symposium on Trustworthy Global Computing (TGC 2007), held in Sophia-Antipolis, France, November 5-6,2007, andtutorialpapersofthe foll- ing Workshop on the Interplay of Programming Languages and Cryptography, held in Sophia Antipolis, November 7, 2007. TheSymposiumonTrustworthyGlobalComputingisaninternationalannual venue dedicated to safe and reliable computation in global computers. It focuses 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. This volume starts with an invited paper from Martin Hofmann. It then - cludes the revised versions of the 19 contributed papers; these versions take into accountboth the referee's reports andthe discussions that took place during the symposium. The Program Committee selected 19 papers from 48 submissions. Every submission was reviewed by at least three members of the ProgramC- mittee. In addition, the Program Committee sought the opinions of additional referees, selected because of their expertise on particular topics. We are grateful to Andrei Voronkov for his EasyChair system that helped us to manage these discussions. We would like to thank the authors who submitted papers to the conference, the members of the ProgramCommittee, and the additional revi- ers for their excellent work. We would also like to thank the invited speakers to TGC 2007, Andrew D. Gordon, Martin Hofmann, and Je? Magee.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Killing Karoline - A Memoir
Sara-Jayne King Paperback  (1)
R325 R279 Discovery Miles 2 790
Killer Stories - Conversations With…
Brin Hodgskiss, Nicole Engelbrecht Paperback R310 R209 Discovery Miles 2 090
Hiking Beyond Cape Town - 40 Inspiring…
Nina du Plessis, Willie Olivier Paperback R320 R250 Discovery Miles 2 500
Prisoner 913 - The Release Of Nelson…
Riaan de Villiers, Jan-Ad Stemmet Paperback R399 R343 Discovery Miles 3 430
Because I Couldn't Kill You - On Her…
Kelly-Eve Koopman Paperback  (2)
R305 R262 Discovery Miles 2 620
Win! - Compelling Conversations With 20…
Jeremy Maggs Paperback R451 Discovery Miles 4 510
Commando - A Boer Journal of the…
Deneys Reitz Paperback R350 R235 Discovery Miles 2 350
1 Recce: Volume 3 - Onsigbaarheid Is Ons…
Alexander Strachan Paperback R360 R309 Discovery Miles 3 090
Safari Nation - A Social History Of The…
Jacob Dlamini Paperback R320 R250 Discovery Miles 2 500
Decolonising The University
Gurminder K Bhambra, Dalia Gebrial, … Paperback  (7)
R525 R469 Discovery Miles 4 690

 

Partners