Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 papers)
-
Front Matter
-
Back Matter
About this book
Editors and Affiliations
-
Department of Computer Science, Concordia University, Montreal, Canada
V. S. Alagar, Laks V. S. Lakshmanan, F. Sadri
Bibliographic Information
Book Title: Formal Methods in Databases and Software Engineering
Book Subtitle: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992
Editors: V. S. Alagar, Laks V. S. Lakshmanan, F. Sadri
Series Title: Workshops in Computing
DOI: https://doi.org/10.1007/978-1-4471-3213-4
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: British Computer Society 1993
Softcover ISBN: 978-3-540-19812-3Published: 24 February 1993
eBook ISBN: 978-1-4471-3213-4Published: 06 December 2012
Series ISSN: 1431-1682
Edition Number: 1
Number of Pages: VII, 193
Topics: Software Engineering, Mathematical Logic and Formal Languages, Information Systems and Communication Service