Cambridge University Press · Springer
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Concurrency Verification: Introduction to Compositional and Non-compositional Methods | 978-0-521-80608-4 (0-521-80608-9) | 2001 | Willem-Paul de Roever · Ulrich Hanneman · Jozef Hooman · Yassine Lakhnech · Mannes Poel · Job Zwiers | |
| FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings | 978-3-319-19248-2 (3-319-19248-5) | 2015 | Nikolaj Bjørner | |
| It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab | 978-3-319-90088-9 (3-319-90088-9) | 2018 | Marcello Bonsangue · Jan Rutten |
D B · D. Boer · De Boer · Frank B. · Frank D. · Frank S. de Boer