Barthe, Gilles.
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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4912 0302-9743 ; . - Lecture Notes in Computer Science, 4912 .
9783540786634
10.1007/978-3-540-78663-4 doi
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.
QA76.758
005.1
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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4912 0302-9743 ; . - Lecture Notes in Computer Science, 4912 .
9783540786634
10.1007/978-3-540-78663-4 doi
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.
QA76.758
005.1