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 / [electronic resource] :
edited by Gilles Barthe, Cedric Fournet.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- 401 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4912 0302-9743 ; .
9783540786634 (electronic bk.) 9783540786627 (paper)
Computer security--congresses.
Computer software--Verification--Congresses.
Computer Science.
Computer Communication Networks.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Systems and Data Security.
QA76.9.A25 / T46 2007
005.1
9783540786634 (electronic bk.) 9783540786627 (paper)
Computer security--congresses.
Computer software--Verification--Congresses.
Computer Science.
Computer Communication Networks.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Systems and Data Security.
QA76.9.A25 / T46 2007
005.1