Trustworthy Global Computing
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Rocco De Nicola
Themen in »Trustworthy Global Computing«
Debugging authentication cryptographic protocols dependable computing distributed computing distributed systems formal methods global computing mobile code mobile computing model checking model-based testing modeling programming verification
Stimmen zu »Trustworthy Global Computing«
Details
ISBN: 9783540314837
Verlag: Springer Berlin
Erscheinung: 07.12.2005