Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / [electronic resource] :
edited by Gilles Barthe, Cédric Fournet.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 4912 0302-9743 ; .
9783540786634
Computer science Computer Communication Networks Software engineering Data protection Logic design Computer Science Software Engineering Computer Communication Networks Programming Techniques Systems and Data Security Programming Languages, Compilers, Interpreters Logics and Meanings of Programs