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

Ehrig, Hartmut; Mahr, Bernd

Hardcover

ISBN 10: 3540137181 ISBN 13: 9783540137184

Publisher: Springer, 1985

Synopsis

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Edition details

• Publisher: Springer
• Publication date: 1985
• Language: English
• ISBN 10: 3540137181
• ISBN 13: 9783540137184
• Binding: Hardcover
• Edition number: 1
• Number of pages: 321