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
| Συλλογικό Έργο: | , |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
London
Springer-Verlag
c1993.
|
| Θέματα: |


