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

Ehrig, Hartmut; Mahr, Bernd

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
3642699642
ISBN 13 
9783642699641
Einband
Taschenbuch
Anzahl der Seiten
340
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland