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

Hartmut Ehrig

ISBN 10: 3642699642 / ISBN 13: 9783642699641

Published by Springer Berlin Heidelberg, 2012

About this Item

reprint edition. 332 pages. 9.60x6.70x0.90 inches. In Stock.

Seller Inventory # x-3642699642

Bibliographic Details

• Title: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An Eatcs Series)
• Publisher: Springer Berlin Heidelberg
• Publication Date: 2012
• Language: English
• ISBN 10: 3642699642
• ISBN 13: 9783642699641
• Binding: Paperback
• Condition: Brand New
• Weight: 0.57 kilograms

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.