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-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3705 0302-9743 ; .

9783540314837


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