| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings | Taschenbuch | 978-3-540-60043-5 | 2008 | Maurice Nivat | |
| Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 | " | 978-3-540-19812-3 | 2013 | ||
| Incompleteness and Uncertainty in Information Systems: Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, ... 8-9 October 1993 | Broschiert | 978-3-540-19897-0 | 2013 | ||
| Specification of Software Systems | Paperback | 978-1-4471-2644-7 | 2013 | ||
| Specification of Software Systems | Hardcover | 978-0-387-98430-8 | 1998 | K. Periyasamy | |
Alagar, V. S. · s. a. · V. A. · V. S. · V. S. Alagar Laks V. S. Lakshmanan · V. S. Alagar S. Bergler · Vangalur S. Alagar