<p>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.</p>

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

Computers & Technology

Ehrig, H.

Mahr, B.

Programming

Springer, Verlag

See the best price to sell, buy, or rent books by Mahr, B.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Mahr, B.

See the best price to sell, buy, or rent books by Mahr, B.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

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