Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series) | 
 enlarge | Authors: Hartmut Ehrig, Bernd Mahr
Publisher: Springer
Category: Book
Buy New: $103.00
New (1) Used (1) from $94.50
Sales Rank: 3984804
Media: Hardcover
Edition: 1
Pages: 321
Number Of Items: 1
ISBN: 3540137181
EAN: 9783540137184
Publication Date: April 19, 1985
Availability: Usually ships in 4 to 7 weeks
| |
| Editorial Reviews:
Product Description
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.
|
|
|
