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: 50.49 EUR
Availability: OutOfStock
Author: V S Alagar

Cena

€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 17. - 25. sep

Prejemajte obvestila o novih izdajah izvajalca V S Alagar

Kaj pravijo naše stranke:

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

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov

Najvišja ocena na Trustpilot

Dodaj na svoj seznam želja iMusic

Not rated yet

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

Medij	Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano	24. februarja 1993
ISBN13	9783540198123
Založniki	Springer-Verlag Berlin and Heidelberg Gm
Strani	193
Dimenzije	155 × 235 × 11 mm · 290 g
Jezik	Nemščina
Urednik	Alagar, V.S.
Urednik	Lakshmanan, Laks V.S.
Urednik	Sadri, F.