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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540198123 - 1993. gada 24. februāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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 Softcover reprint of the original 1st ed. 1993 edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 31. jūl. - . gada 10. aug.
Saņemiet paziņojumus par jauniem V S Alagar izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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 visu

Vairāk no tā paša izdevēja

Skatīt visus V S Alagar ( piem., Paperback Book )