Formal methods in databases and software engineering
Subtitle: proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
By: V.S. Alagar, Laks V.S. Lakshmanan and F. Sadri (eds.).
Contributors: Alagar, Vangalur S., 1940-; Lakshmanan, Laks V. S., 1959-; Sadri, Feridoon.; British Computer Society.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1993
Place of publication: London; New York
Language: eng
Number of pages: 191
Subjects: Database management -- Congresses; Software engineering -- Congresses; Formal methods (Computer science) -- Congresses
Notes: Includes bibliographical references and index.
"Published in collaboration with: British Computer Society."