Fundamentals of algebraic specification 1. Equations and initial semantics. EATCS monographs on theoretical computer sciences 6.

Ehrig, Hartmut ; Mahr, Bernd

ISBN 10: 3540137181 / ISBN 13: 9783540137184

Published by Berlin ; Heidelberg : Springer, 1985

About this Item

XI, 321 S., Abb., 25 cm, Einband leicht berieben. Sprache: Englisch.

Seller Inventory # B274-003

Bibliographic Details

• Title: Fundamentals of algebraic specification 1. Equations and initial semantics. EATCS monographs on theoretical computer sciences 6.
• Publisher: Berlin ; Heidelberg : Springer
• Publication Date: 1985
• Language: English
• ISBN 10: 3540137181
• ISBN 13: 9783540137184
• Binding: Hardcover
• Condition: gut

About this title

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.