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 /

The Workshop on Formal Methods in Databases and Software Engineering took place at Concordia University, Montreal, Canada, from the 15-16 May 1992. Most existing research tends to concentrate exclusively on formal methods in either databases or software engineering. This was the first in a proposed...

Full description

Bibliographic Details

Main Author:	Alagar, Vangalur S., 1940-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lakshmanan, Laks V. S., Sadri, Fereidoon
Format:	eBook
Language:	English
Published:	London : Springer London, 1993.
Series:	Workshops in computing.
Subjects:	Computer science. Software engineering. Information systems. Electronic books.
Online Access:	Connect to the full text of this electronic book