Zoeken

U zocht naar: Auteur Marcello Bonsangue Filter Auteur: Marcello Bonsangue weghalen
| 11 - 15 van 15 | Volgende »
Aantal zoekresultaten per pagina

Zoekresultaten

11. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Auteur:
Bonsangue, Marcello M.; IFIP Working Group 6.1.; Hutchison, David; Johnsen, Einar Broch; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
12. Formal Methods for Components and Objects
thumbnail
Full text!
Auteur:
Hutchison, David; Boer, Frank S. de; Kanade, Takeo; de Boer, Frank S.; de Roever, Willem-Paul; Graf, Susanne; Bonsangue, Marcello M.
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book
13. Formal Methods for Components and Objects
thumbnail
Full text!
Auteur:
Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul
Uitgever:
Springer Berlin Heidelberg 2006
Type:
e-book
14. Formal Methods for Components and Objects
thumbnail
Full text!
Auteur:
Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
15. Formal Methods for Components and Objects
thumbnail
Full text!
Auteur:
Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef; Roever, Willem-Paul de
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book