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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο: British Computer Society, Workshop on Formal Methods in Databases and Software Engineering (1992 : Montreal, Canada)
Άλλοι συγγραφείς: Alagar, Vangalur S. 1940-, Lakshamanan, Laks V. 1959-, Sadri, Feridon
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: London Springer-Verlag c1993.
Θέματα:
Database management > Congresses.
Software engineering > Congresses.