Trustworthy Global Computing
Montanari, Ugo.
Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / [electronic resource] : edited by Ugo Montanari, Donald Sannella, Roberto Bruni. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4661 0302-9743 ; .
9783540753360
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
Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / [electronic resource] : edited by Ugo Montanari, Donald Sannella, Roberto Bruni. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4661 0302-9743 ; .
9783540753360
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