Monographs in Theoretical Computer Science. An EATCS Series: Equations and Initial Semantics

Ehrig, Hartmut; Mahr, Bernd

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.

Details

Published by: Springer

Publication Date: 2011-11-23

Format: Paperback

ISBN-13: 9783642699641

DOI: 10.1007/978-3-642-69962-7

Dimensions: 244cm x170cm

Pages: 321