Rezultati pretrage - Alagar, Vangalur S. 1940-

Specification of software systems od 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