Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, (Workshops in Computing)

by: Workshop on Formal Methods in Databases and Software Engineering · Laks V. S. Lakshmanan · Vangalur S. Alagar · Feridoon Sadri · British Computer Society Paperback details (USA). ISBN: 978-0-387-19812-5 ISBN-10: 0-387-19812-1 Springer Verlag · 1993