bib.howest.be Zoekresultaten

U zocht naar: Auteur de Boer, Frank

« Vorige | 1 - 10 van 11 | Volgende »

1. FM 2015: Formal Methods

Auteur:: Bjørner; Bjørner, Nikolaj; de Boer, Frank
Uitgever:: Springer International Publishing 2015
Type:: e-book

2. Formal Methods for Components and Objects

Auteur:: Giachino, Elena; de Boer, Frank S.; Bonsangue, Marcello M.; Bonsangue, Marcello M.; de Boer, Frank S.; Hähnle, Reiner
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

3. Theoretical Computer Science

Auteur:: Hutchison, David; Kanade, Takeo; Ball, Tom; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

4. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

5. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; Damiani, Ferruccio; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

6. Verification of Sequential and Concurrent Programs

Auteur:: Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rüdiger; de Boer, Frank S.; Pnueli, Amir
Uitgever:: Springer London 2009
Type:: e-book

7. 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

8. Formal Methods for Open Object-Based Distributed Systems

Auteur:: Barthe, Gilles; IFIP Working Group 6.1.; Boer, Frank S.; Boer, Frank S. de; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

9. 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

10. 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