E. L. · P.E. · Peter E. · Peter L.
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, ... Notes in Computer Science , Band 693) | 978-3-540-56883-4 | 2008 | ||
| Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992 McMaster University, Hamilton, Ontari | 978-0-387-56883-6 | 1993 | ||
| Specification and Analysis of Concurrent Systems: The Cosy Approach | 978-0-387-55204-0 | 1992 | Ryszard Janicki | |
| Specification and Analysis of Concurrent Systems: The COSY Approach | 978-3-540-55204-8 | 1992 | " | |