Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1993. gada 24. februāris |
| ISBN13 | 9783540198123 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 193 |
| Izmēri | 155 × 235 × 11 mm · 290 g |
| Valoda | Vācu |
| Redaktors | Alagar, V.S. |
| Redaktors | Lakshmanan, Laks V.S. |
| Redaktors | Sadri, F. |
Vairāk no V S Alagar
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus V S Alagar ( piem., Paperback Book )