bib.howest.be Zoekresultaten

U zocht naar: Auteur Graf, Susanne

1 - 7 van 7

1. Models, Mindsets, Meta: The What, the How, and the Why Not?

Auteur:: Margaria; Graf, Susanne; Larsen, Kim G.
Uitgever:: Springer International Publishing 2019
Type:: e-book

2. Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Auteur:: Graf, Susanne.; Pettersson, Paul; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

3. Automated Technology for Verification and Analysis

Auteur:: Graf, Susanne; Kanade, Takeo; Zhang, Wenhui; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

4. Formal Methods for Components and Objects

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

5. Formal Methods for Components and Objects

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

6. Formal Methods for Components and Objects

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

7. Formal Methods for Components and Objects

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