V S Alagar
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

Name: 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
Price: 519 NOK
Availability: OutOfStock
Author: V S Alagar

Pris

NOK 519

Bestillingsvarer

Forventes levert 28. sep - 6. okt

Få varsel om nye utgivelser fra V S Alagar

Kundene våre sier:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

Ikke vurdert ennå

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

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	Bøker Pocketbok (Bok med mykt omslag og limt rygg)
Utgitt	24. februar 1993
ISBN13	9783540198123
Utgivere	Springer-Verlag Berlin and Heidelberg Gm
Antall sider	193
Mål	155 × 235 × 11 mm · 290 g
Språk	Tysk
Redaktør	Alagar, V.S.
Redaktør	Lakshmanan, Laks V.S.
Redaktør	Sadri, F.