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

Ehrig, Hartmut; Mahr, Bernd

 
9783540137184: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
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.

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

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

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3642699642 ISBN 13:  9783642699641
Publisher: Springer, 2011
Softcover