Yazar
Alessandra Di Pierro
2 cilt bulundu.
Cilt sonuçları
From Lambda Calculus to Cybersecurity Through Program Analysis
Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan · Springer
307 sayfa · 2020
Kategori yok
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky · Springer London, Limited
169 sayfa · 2010
Kategori yok