Vangalur S. Alagar Books
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal,
By Workshop On Formal Methods In Databases And Software Engineering 1992 Montreal Canada ., Laks V. S. Lakshmanan, British Computer Society, Vangalur S. Alagar, Workshop On Formal Methods In Databases And Software Engineering, Feridoon Sadri
Read MoreSpecification of Software Systems
By V.S. Alagar, K. Periyasamy, Vangalur S. Alagar
This graduate-level text provides an introduction to software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The book can also...
Read More