Resultados da busca - Alagar, Vangalur S. 1940-

Specification of software systems por Alagar, Vangalur S. 1940-

Available for University of the Philippines Diliman via SpringerLink. Click here to access

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