Alessandra Di Pierro - Böcker
Visar alla böcker från författaren Alessandra Di Pierro.
3 produkter
3 produkter
From Lambda Calculus to Cybersecurity Through Program Analysis
Av Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan
Häftad, Engelska, 2020
719 kr
Skickas inom 7-10 vardagar
Formal Methods for Quantitative Aspects of Programming Languages
Av Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Häftad, Engelska, 2010
739 kr
Skickas inom 7-10 vardagar
Formal Methods for Dynamical Systems
Av Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky, Erik De
Häftad, Engelska, 2013
679 kr
Skickas inom 7-10 vardagar