| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, | 978-0-387-19812-5 (0-387-19812-1) | 1993 | Workshop on Formal Methods in Databases and Software Engineering · Laks V. S. Lakshmanan · Feridoon Sadri · British Computer Society |
| Fundamentals of Computing: Theory and Practice | 978-0-13-335308-2 (0-13-335308-7) | 1989 | |
| Incompleteness and Uncertainty in Information Systems | 978-0-387-19897-2 (0-387-19897-0) | 1994 | |
s. a. · V. A. · V. S. · V.S. Alagar · Vangalur Alagar