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

Ebook (PDF Format)

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 103.00

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

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Lakshmanan, Laks V. S. (Hrsg.) / Sadri, F. (Hrsg.)
  • ISBN: 978-1-4471-3213-4
  • EAN: 9781447132134
  • Produktnummer: 37181915
  • Verlag: Springer London
  • Sprache: Englisch
  • Erscheinungsjahr: 2012
  • Seitenangabe: 193 S.
  • Plattform: PDF
  • Auflage: 1993

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.