Fundamentals of Algebraic Specification 1 by Hartmut Ehrig

Fundamentals of Algebraic Specification 1 by Hartmut Ehrig

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.

SKU	Unavailable
ISBN 13	9783642699641
ISBN 10	3642699642
Title	Fundamentals of Algebraic Specification 1
Author	Hartmut Ehrig
Series	Monographs In Theoretical Computer Science An Eatcs Series
Condition	Unavailable
Binding Type	Paperback
Publisher	Springer
Year published	2011-11-23
Number of pages	321
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.