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

Podrobná bibliografie
Korporace: British Computer Society, Workshop on Formal Methods in Databases and Software Engineering (1992 : Montreal, Canada)
Další autoři: Alagar, Vangalur S. 1940-, Lakshamanan, Laks V. 1959-, Sadri, Feridon
Médium: Kniha
Jazyk:angličtina
Vydáno: London Springer-Verlag c1993.
Témata: