ISBN 9783540198123 books & textbook
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 (Workshops in Computing)
Alagar, V.S. Lakshmanan, Laks V.S. Sadri, F.
Springer /1993-02-24 Paperback / 200 Pages
isbn-10: 3540198121 / isbn-13: 9783540198123
