Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)

Ehrig, Hartmut and Bernd Mahr:

ISBN 10: 3540137181 / ISBN 13: 9783540137184

Published by Springer 01.03.1985., 1985

About this Item

321 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 0,0 x 0,0 x 0,0 cm, Gebundene Ausgabe.

Seller Inventory # 368200

Bibliographic Details

• Title: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
• Publisher: Springer 01.03.1985.
• Publication Date: 1985
• Language: English
• ISBN 10: 3540137181
• ISBN 13: 9783540137184
• Binding: Hardcover
• Condition: Gut
• Weight: 969 grams
• Seller catalogs:
  • Alle Bücher

About this title

Synopsis

The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects: fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which arethe basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense ofconcepts, which are introduced on a conceptual level andformalized in mathematical terms. The book is equally suitableas a text book for graduatecourses and as a reference for researchers and systemdevelopers.