Produktbild
V. S. (Hrsg.) 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

Buch

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. One of the most vigorously researched topics common to all information systems is formal modeling. An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from outside in; that is, the aggregation of ideas is around real-l… Mehr

CHF 126.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Lakshmanan, Laks V. S. (Hrsg.) / Sadri, F. (Hrsg.)
  • ISBN: 978-3-540-19812-3
  • EAN: 9783540198123
  • Produktnummer: 16126584
  • Verlag: Springer London
  • Sprache: Englisch
  • Erscheinungsjahr: 1993
  • Seitenangabe: 204 S.
  • Masse: H23.5 cm x B15.5 cm x D1.5 cm 323 g
  • Auflage: Softcover reprint of the original 1st ed. 1993
  • Abbildungen: Paperback
  • Gewicht: 323

5 weitere Werke von V. S. (Hrsg.) Alagar:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.