Fundamentals of Algebraic Specification 1 :Equations and Initial Semantics - Monographs in Theoretical Computer Science. An EATCS Series
Fundamentals of Algebraic Specification 1 :Equations and Initial Semantics - Monographs in Theoretical Computer Science. An EATCS Series
paperback
Published:
23 November, 2011
paperback
Published:
23 November, 2011
Standard worldwide delivery by
Tue, August 4 - Fri, August 7
Order within
0
Popular Books by Hartmut Ehrig
View All Books by Hartmut Ehrig
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.
More Details
| Type | Book |
|---|---|
| ISBN13 | 9783642699641 |
| ISBN10 | 3642699642 |
| Number Of Pages | 321 |
| Item Weight | 1000 g |
| Publisher / Reseller | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Format | paperback |
| Edition | Softcover reprint of the original 1st ed. 1985 |
See More +