Search

You searched for: Auteur De Nicola, Rocco Remove constraint Auteur: De Nicola, Rocco
1 - 5 of 5
Number of results to display per page

Search Results

1. Software Engineering and Formal Methods
thumbnail
Full text!
Author:
Rocco De Nicola, Eva Kühn; De Nicola, Rocco; Kühn, Eva
Publisher:
Springer International Publishing 2016
Format:
e-book
2. Programming Languages and Systems
thumbnail
Full text!
Author:
Nicola, Rocco; De Nicola, Rocco; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
3. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
thumbnail
Full text!
Author:
Marco Bernardo, Rocco De Nicola, Jane Hillston; De Nicola, Rocco; Hillston, Jane
Publisher:
Springer International Publishing 2016
Format:
e-book
4. Trustworthy Global Computing
thumbnail
Full text!
Author:
Nicola, Rocco; De Nicola, Rocco; Kanade, Takeo; Sangiorgi, Davide; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
5. Concurrency, Graphs and Models
thumbnail
Full text!
Author:
Degano, Pierpaolo; De Nicola, Rocco; Kanade, Takeo; Meseguer, José; Montanari, Ugo; Nicola, Rocco
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book