Alessandra Di Pierro – författare
Visar alla böcker från författaren Alessandra Di Pierro.
3 produkter
From Lambda Calculus to Cybersecurity Through Program Analysis
Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Av Alessandra Di Pierro, Pasquale Malacaria m. fl.
Häftad, 2020
709 kr
Lägg i varukorg
Formal Methods for Quantitative Aspects of Programming Languages
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Av Alessandro Aldini, Marco Bernardo m. fl.
Häftad, 2010
729 kr
Lägg i varukorg
Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Av Marco Bernardo, Erik de Vink m. fl.
Häftad, 2013
669 kr
Lägg i varukorg