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 - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540198123 - 24. februára 1993
V prípade, že obal a názov nesedia, platí názov

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
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 12. - 20. nov
Vianočné darčeky je možné vrátiť do 31. januára
Dostávajte upozornenia na nové nahrávky interpreta V S Alagar
Pridať do vášho zoznamu prianí na iMusic

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 24. februára 1993
ISBN13 9783540198123
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 193
Rozmery 155 × 235 × 11 mm   ·   290 g
Jazyk Nemčina  
Editor Alagar, V.S.
Editor Lakshmanan, Laks V.S.
Editor Sadri, F.

Viac od V S Alagar

Viac od toho istého vydavateľa