Alessandra Di Pierro

Alessandra Di Pierro

1 ספרים במאגר

ספרים

From Lambda Calculus to Cybersecurity Through Program AnalysisAlessandra Di Pierro

From Lambda Calculus to Cybersecurity Through Program Analysis

Alessandra Di Pierro · 2020

ספרים משותפים ואוספים

ספרים שבהם Alessandra Di Pierro מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Methods for Quantitative Aspects of Programming LanguagesAlessandro Aldini

Formal Methods for Quantitative Aspects of Programming Languages

Alessandro Aldini · 2010