Search

You searched for: Auteur de Boer, Frank Remove constraint Auteur: de Boer, Frank
« Previous | 1 - 10 of 11 |
Number of results to display per page

Search Results

1. FM 2015: Formal Methods
thumbnail
Full text!
Author:
Bjørner; Bjørner, Nikolaj; de Boer, Frank
Publisher:
Springer International Publishing 2015
Format:
e-book
2. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Giachino, Elena; de Boer, Frank S.; Bonsangue, Marcello M.; Bonsangue, Marcello M.; de Boer, Frank S.; Hähnle, Reiner
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
3. Theoretical Computer Science
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Ball, Tom; de Boer, Frank S.
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
4. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; de Boer, Frank S.
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
5. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; Damiani, Ferruccio; de Boer, Frank S.
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
6. Verification of Sequential and Concurrent Programs
thumbnail
Full text!
Author:
Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rüdiger; de Boer, Frank S.; Pnueli, Amir
Publisher:
Springer London 2009
Format:
e-book
7. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Hutchison, David; Boer, Frank S. de; Kanade, Takeo; de Boer, Frank S.; de Roever, Willem-Paul; Graf, Susanne; Bonsangue, Marcello M.
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
8. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Author:
Barthe, Gilles; IFIP Working Group 6.1.; Boer, Frank S.; Boer, Frank S. de; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
9. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
10. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book