Nicola, Rocco.
Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / [electronic resource] : edited by Rocco Nicola, Davide Sangiorgi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3705 0302-9743 ; . - Lecture Notes in Computer Science, 3705 .
9783540314837
10.1007/11580850 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1
Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / [electronic resource] : edited by Rocco Nicola, Davide Sangiorgi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3705 0302-9743 ; . - Lecture Notes in Computer Science, 3705 .
9783540314837
10.1007/11580850 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1