Fundamentals of Algebraic Specification 1
Subtitle: Equations and Initial Semantics
By: by Hartmut Ehrig, Bernd Mahr
Contributors: Mahr, B. (Bernd)
Series: EATCS Monographs on Theoretical Computer Science, 1431-2654 -- 6; EATCS monographs on theoretical computer science -- 6.
Publisher: Springer Berlin Heidelberg
Published: 1985
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 321
ISBN-13: 9783642699627
Description: 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.