| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| A Decade of Concurrency: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings | Taschenbuch | | 978-3-540-58043-0 | 2008 | G. Rozenberg · W.-P.de Roever |
| A Decade of Concurrency: Reflections and Perspectives: Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993: Proceedings | Paperback | | 978-0-387-58043-2 | 1994 | W. P. De Roever |
| Automata, Languages and Programming: Seventh Colloquium Lecture Notes in Computer Science 85 | " | | 978-0-387-10003-6 | 1980 | J. Van Leeuwen |
| Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings | Taschenbuch | | 978-3-540-10003-4 | 2008 | J. van Leeuwen |
| Control Flow Semantics | Hardcover | | 978-0-262-04154-6 | 1996 | Erik P. de Vink |
| Control Flow Semantics | Paperback | | 978-0-262-51897-0 | 1996 | Erik P de Vink |
| Current Trends in Concurrency | Hardcover | | 978-0-387-16488-5 | 1986 |
| Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 | Paperback | | 978-3-662-19691-5 | 2014 | W.P. de Roever · G. Rozenberg |
| Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 | Taschenbuch | | 978-3-540-53931-5 | 2008 | G. Rozenberg · W.P. de Roever |
| Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 | Paperback | | 978-0-387-53931-7 | 1991 | W. P. De Roever |
| Logic Programming Languages: Constraints, Functions, and Objects | Hardcover | | 978-0-262-01134-1 | 1993 | Krzysztof R. Apt · J. M. Rutten |
| Logic Programming Languages: Constraints, Functions, and Objects | Paperback | | 978-0-262-51167-4 | 1993 | Krzysztof R Apt · J. M Rutten |
| Mathematical Theory of Program Correctness | Hardcover | | 978-0-13-562132-5 | 1980 |
| Parle: Parallel Architectures and Languages Europe: Parallel Architectures Eindhoven, the Netherlands, June 15-19, 1987 Proceedings | Paperback | | 978-0-387-17943-8 | 1987 | A. J. Nijman |
| Parle: Parallel Architectures and Languages Europe: Parallel Languages Eindhoven, the Netherlands, June 15-19, 1987 Proceedings | " | | 978-0-387-17945-2 | 1987 | " |
| Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings | Taschenbuch | | 978-3-540-55564-3 | 2008 | W.P.de Roever · G. Rozenberg · C. Huizing |
| Real-Time: Theory in Practice: Rex Workshop Mook, the Netherlands, June 1991 Proceedings | Paperback | | 978-0-387-55564-5 | 1992 | C. Huizing · W. P. De Roever |
| Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings | Taschenbuch | | 978-3-540-56596-3 | 2008 | W.-P.de Roever · G. Rozenberg |
| Semantics: Foundations and Applications: Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings | Paperback | | 978-0-387-56596-5 | 1993 | W. P. De Roever |
| Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: Proceedings | " | | 978-0-387-52559-4 | 1990 | " |
| Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings | Taschenbuch | | 978-3-540-52559-2 | 1990 | W.-P. de Roever · G. Rozenberg |