Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Ehrig, H.; Mahr, B.

ISBN 10: 0387137181 / ISBN 13: 9780387137186

Published by Springer-Verlag, Berling, Heidelberg, et al., 1985

Berling, Heidelberg, et al.: Springer-Verlag, 1985. XI, 321 pp. 24.5 x 17 cm. Paper covered boards printed silver and red with black titling to cover and spine. Some rubbing and very light scuffing to covers. Bumping to spine ends and corners of boards. Some light speckling to top edge of text block. Interior is clean and unmarked. Binding firm. . Hard Cover. Very Good. Seller Inventory # 626587

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.

Bibliographic Details

Title: Fundamentals of Algebraic Specification 1: ...
Publisher: Springer-Verlag, Berling, Heidelberg, et al.
Publication Date: 1985
Binding: Hardcover
Condition: Very Good