Enlarge

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

Publication Data

Title 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
Contributors Vangalur S. Alagar, Laks V. S. Lakshmanan, F. Sadri, British Computer Society
Publisher Springer
Publication date 1993
Publication location London
Language English

Descriptive Notes

'Published in collaboration with the British Computer Society' - t.p.

Topics

Database management :: Congresses
Software engineering :: Congresses
Formal methods (Computer science) :: Congresses

Catalogue Data

OBNB ID GB9320929
ISBN 10 0387198121
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.12

ISBD

P1053 vi, 191p.
P1042 Includes bibliographies and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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. ISBN 0387198121. Published by Springer in 1993. Publication and catalogue information, links to buy online and reader comments.