Formal methods in database and software engineering
Formal methods in database and software engineering
/ Proceedings of the workshop on formal methods in database and software Engineering, Montreal, Canada, 15-16 May, 1992
- New York: Springer-Verlag, 1993
- 191p.
Computer
Database
D 681.3.06(082.2) / N3
Computer
Database
D 681.3.06(082.2) / N3