Alagar, V.S. books & textbook
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings (Lecture Notes in Computer Science, 936)
Springer /1995-05-21 Paperback / 612 Pages
isbn-10: 3540600434 / isbn-13: 9783540600435
Incompleteness and Uncertainty in Information Systems: Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, ... 8–9 October 1993 (Workshops in Computing)
Alagar, V.S. Bergler, S. Dong, F.Q.
Springer /1994-08-16 Perfect Paperback / 243 Pages
isbn-10: 3540198970 / isbn-13: 9783540198970
Specification of Software Systems (Texts in Computer Science)
Springer /2013-04-21 Paperback / 672 Pages
isbn-10: 1447126440 / isbn-13: 9781447126447
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 (Workshops in Computing)
Alagar, V.S. Lakshmanan, Laks V.S. Sadri, F.
Springer /1993-02-24 Paperback / 200 Pages
isbn-10: 3540198121 / isbn-13: 9783540198123
OBJECT-ORIENTED TECHNOLOGY FOR DATABASE AND SOFTWARE SYSTEMS
World Scientific Publishing Company /1995-09-01 Hardcover / 320 Pages
isbn-10: 9810221703 / isbn-13: 9789810221706
