Search

You searched for: Auteur Di Pierro, Alessandra Remove constraint Auteur: Di Pierro, Alessandra
1 - 2 of 2
Number of results to display per page

Search Results

1. Formal Methods for Quantitative Aspects of Programming Languages
thumbnail
Full text!
Author:
Aldini, Alessandro; Bernardo, Marco; Kanade, Takeo; Pierro, Alessandra; Wiklicky, Herbert; Di Pierro, Alessandra
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
2. Formal Methods for Dynamical Systems
thumbnail
Full text!
Author:
Bernardo, Marco; Vink, Erik de; Pierro, Alessandra Di; Wiklicky, Herbert; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book