Hoppa till sidans huvudinnehåll

Alessandra Di Pierro – författare

Visar alla böcker från författaren .
3 produkter
Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan - From Lambda Calculus to Cybersecurity Through Program Analysis, Häftad

From Lambda Calculus to Cybersecurity Through Program Analysis

Essays Dedicated to Chris Hankin on the Occasion of His Retirement

AvAlessandra Di Pierro,Pasquale Malacariam. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky - Formal Methods for Quantitative Aspects of Programming Languages, Häftad

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

AvAlessandro Aldini,Marco Bernardom. fl.

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky - Formal Methods for Dynamical Systems, Häftad

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

AvMarco Bernardo,Erik de Vinkm. fl.

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar