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)

Proceedings

von V.S. Alagar

Taschenbuch

ISBN: 978-3-540-19812-3

ISBN-10: 3-540-19812-1

Springer · 2013