Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Ehrig, H.;Mahr, B.

ISBN 10: 0387137181 / ISBN 13: 9780387137186

Published by Secaucus, New Jersey, U.S.A.: Springer Verlag, 1985

About this Item

hardback book in very good to near fine condition.

Seller Inventory # 125070

Bibliographic Details

• Title: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
• Publisher: Secaucus, New Jersey, U.S.A.: Springer Verlag
• Publication Date: 1985
• Language: English
• ISBN 10: 0387137181
• ISBN 13: 9780387137186
• Binding: Hardcover
• Condition: Very Good
• Seller catalogs:
  • Science
  • technical
  • mathematics

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.