Items related to Fundamentals of Algebraic Specification 1: Equations...

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

Ehrig, Hartmut; Mahr, Bernd

 
9783642699641: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics: 6 (Monographs in Theoretical Computer Science. An EATCS Series, 6)
Softcover
ISBN 10: 3642699642 ISBN 13: 9783642699641
Publisher: Springer, 2011

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
3642699642
ISBN 13 
9783642699641
Binding
Paperback
Number of pages
332