Tell your friends about this item:
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 - Workshops in Computing V S Alagar Softcover reprint of the original 1st ed. 1993 edition
Price
R 918
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Mar 30 - Apr 7
Our customers say:
Add to your iMusic wish list
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 - Workshops in Computing
V S Alagar
Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support systems, distributed systems and reactive systems.
200 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 24, 1993 |
| ISBN13 | 9783540198123 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 193 |
| Dimensions | 155 × 235 × 11 mm · 290 g |
| Language | German |
| Editor | Alagar, V.S. |
| Editor | Lakshmanan, Laks V.S. |
| Editor | Sadri, F. |
![Cover for V S Alagar · Incompleteness and Uncertainty in Information Systems: Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993 - Workshops in Computing (Paperback Book) [Edition. Ed. edition] (1994)](https://imusic.b-cdn.net/images/item/original/970/9783540198970.jpg?v-s-alagar-1994-incompleteness-and-uncertainty-in-information-systems-proceedings-of-the-softeks-workshop-on-incompleteness-and-uncertainty-in-information-systems-concordia-university-montreal-canada-8-9-october-1993-workshops-in-computing-paperback-book&class=scaled&v=1611462435)