Skip to main content
PBS logo
 
 

Search - Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, (Workshops in Computing)

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, (Workshops in Computing)
Formal Methods in Databases and Software Engineering Proceedings of the Workshop on Formal Methods in Databases and Software Engineering Montreal - Workshops in Computing
Author: Workshop on Formal Methods in Databases and Software Engineering, Laks V. S. Lakshmanan, Vangalur S. Alagar, Feridoon Sadri
The Workshop on Formal Methods in Databases and Software Engineering took place at Concordia University, Montreal, Canada, from the 15-16 May 1992. Most existing research tends to concentrate exclusively on formal methods in either databases or software engineering. This was the first in a proposed series of workshops specifically aimed at foste...  more »
ISBN-13: 9780387198125
ISBN-10: 0387198121
Pages: 191
Rating:
  ?

0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: