Canlyniadau Chwilio - Alagar, Vangalur S. 1940-

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