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
Material type: TextPublication details: New York: Springer-Verlag, 1993Description: 191pSubject(s):Item type | Current library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Proceedings | National Science Library | D 681.3.06(082.2) N3 (Browse shelf(Opens below)) | Available | 174696 |
Browsing National Science Library shelves Close shelf browser (Hides shelf browser)
D 681.3.06(082.2) M5 8th international conference on software engineering 28-30 August, 1985 | D 681.3.06(082.2) M7 Proceedings 11 Compsac 87 the Eleventh annual international: Computer software & applications conference 7-9 October, 1987 | D 681.3.06(082.2) N2 Proceedings of the fifth international workshop on computer-Aided software engineering Canada, 6-10 July, 1992 | D 681.3.06(082.2) N3 Formal methods in database and software engineering | D 681.3.06(082.2) N3 Persistent object system | D 681.3.06(082.2) N3-;1 Software technology: Challenges and opportunities | D 681.3.06(082.2) N4 20th VLDB conference 12-15 September, 1994 Santiago- Chile |
There are no comments on this title.