Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)

Ehrig, Hartmut; Mahr, Bernd

ISBN 10: 0387137181 / ISBN 13: 9780387137186

Published by Springer Verlag, 1985

About this Item

Hardcover, dust jacket as issued in Good condition. Clean pages. Good binding. Ships fast and guaranteed well protected with domestic tracking.

Seller Inventory # 090313-Ehrig

Bibliographic Details

• Title: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)
• Publisher: Springer Verlag
• Publication Date: 1985
• Language: English
• ISBN 10: 0387137181
• ISBN 13: 9780387137186
• Binding: Hardcover
• Condition: Good
• Weight: 23 ounces

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 suitable as a text book for graduate courses and as a reference for researchers and system developers.