Cambridge University Press · Springer
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings: Conference Contributions v. 1 | Gebunden | 978-3-540-53961-2 (3-540-53961-1) | 1991 | K.R. Apt · E. Astesiano · D. Bjorner · M. Broy · L. Cardelli · P.D. Mosses · M. Wirsing | |
| Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship | Paperback | 978-0-521-01845-6 (0-521-01845-5) | 2008 | ||
| Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship | Hardcover | 978-0-521-40044-2 (0-521-40044-9) | 1991 | ||
E -R · Ernst-R??diger Olderog · Ernst R. Olderog · Ernst-RÃ1/4diger Olderog · Ernst-Rudiger Olderog · Ernst-Rüdiger Olderog