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.
| ISBN: | 9783540137184 |
| Publication date: | 1st March 1985 |
| Author: | Hartmut Ehrig, Bernd Mahr |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Hardback |
| Pagination: | 321 pages |
| Series: | Monographs in Theoretical Computer Science. An EATCS Series |
| Genres: |
Computer programming / software engineering User interface design and usability Programming and scripting languages: general Software Engineering Algebra Reference works Computer architecture and logic design |