Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Equations and Initial Semantics
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 23. November 2011 |
| Maße | 24.4 cm x 17 cm |
| Gewicht | 588 Gramm |
| Format | Softcover |
| ISBN-13 | 9783642699641 |
| Seiten | 321 |
Schlagwörter
Herstellerinformationen
Bekannt durch
