Yazar
Martin Abadi
7 cilt bulundu.
Cilt sonuçları
Trustworthy Global Computing
Martín Abadi, Alberto Lluch Lafuente · Springer
341 sayfa · 2014
Computer security / Computer networks, security measures / Computer software, validation / Computer software, verification
La sécurité informatique
Martín Abadi · Collège de France
72 sayfa · 2011
Electronic data processing departments / Security measures / Computer security
CONCUR 2005 - Concurrency Theory
Martín Abadi, Luca de Alfaro · Springer London, Limited
Sayfa sayısı yok · 2005
Parallel processing (electronic computers)