Zoeken

U zocht naar: Auteur Damiani, Ferruccio Filter Auteur: Damiani, Ferruccio weghalen Type e-book Filter Type: e-book weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Coordination Models and Languages : 23rd IFIP WG 6. 1 International Conference, COORDINATION 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedi
thumbnail
Full text!
Auteur:
Damiani, Ferruccio; Dardha, Ornela
Uitgever:
Springer International Publishing 2021
Type:
e-book
2. Formal Verification of Object-Oriented Software
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Damiani, Ferruccio; Gurov, Dilian
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
3. Types for Proofs and Programs
thumbnail
Full text!
Auteur:
Berardi, Stefano; Damiani, Ferruccio; Kanade, Takeo; de Liguoro, Ugo
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
4. Formal Methods for Components and Objects
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; Damiani, Ferruccio; de Boer, Frank S.
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
5. 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