Alessandra Di Pierro | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirem

Di Pierro, Alessandra; Malacaria, Pasquale; Nagarajan, Rajagopal
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Formal Methods for Quantitative Aspects of Programming Languages - 10th International School on Formal Methods for the Design of

Aldini, Alessandro; Bernardo, Marco; Di Pierro, Alessandra; Wiklicky, Herbert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, an

Bernardo, Marco; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,20 €