Zoeken

U zocht naar: Auteur Bernardo, Marco Filter Auteur: Bernardo, Marco weghalen
| 11 - 12 van 12 | Volgende »
Aantal zoekresultaten per pagina

Zoekresultaten

11. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
thumbnail
Full text!
Auteur:
Marco Bernardo, Rocco De Nicola, Jane Hillston; De Nicola, Rocco; Hillston, Jane
Uitgever:
Springer International Publishing 2016
Type:
e-book
12. Formal Methods for Executable Software Models
thumbnail
Full text!
Auteur:
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Uitgever:
Springer International Publishing 2014
Type:
e-book