Vertel uw vrienden over dit artikel:
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 24 februari 1993 |
| ISBN13 | 9783540198123 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 193 |
| Afmetingen | 155 × 235 × 11 mm · 290 g |
| Taal en grammatica | Duits |
| Uitgever | Alagar, V.S. |
| Uitgever | Lakshmanan, Laks V.S. |
| Uitgever | Sadri, F. |