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.
| Autorius: | Bernd Mahr, Hartmut Ehrig, |
| Serija: | Monographs in Theoretical Computer Science. An EATCS Series |
| Leidėjas: | Springer Berlin Heidelberg |
| Išleidimo metai: | 2011 |
| Knygos puslapių skaičius: | 340 |
| ISBN-10: | 3642699642 |
| ISBN-13: | 9783642699641 |
| Formatas: | Knyga minkštu viršeliu |
| Kalba: | Anglų |
| Žanras: | Algebra |
Parašykite atsiliepimą apie „Fundamentals of Algebraic Specification 1: Equations and Initial Semantics“
