Yazar
Alberto Lluch Lafuente
4 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
Coordination Models and Languages
Alberto Lluch Lafuente, José Proença · Springer
279 sayfa · 2016
Electronic data processing, distributed processing / Computer programming
Formal Methods for Industrial Critical Systems
Alberto Lluch Lafuente, Anastasia Mavridou · Springer International Publishing AG
235 sayfa · 2021
Kategori yok