Recomienda este artículo a tus amigos:
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
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 24 de febrero de 1993 |
| ISBN13 | 9783540198123 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 193 |
| Dimensiones | 155 × 235 × 11 mm · 290 g |
| Lengua | Alemán |
| Editor | Alagar, V.S. |
| Editor | Lakshmanan, Laks V.S. |
| Editor | Sadri, F. |
Mas por V S Alagar
Mostrar todoMere med samme udgiver
Ver todo de V S Alagar ( Ej. Paperback Book )