Vangalur S. Alagar
Geboren:
1940
Hat mitgewirkt an:
-
Specification of software systems
-
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
-
Algebraic methodology and software technology : 4th international conference ; proceedings
-
Incompleteness and uncertainty in information systems : proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8 - 9...