Fundamentals of Algebraic Specification 1
Download or Read eBook Fundamentals of Algebraic Specification 1 PDF written by Hartmut Ehrig and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 333 pages. Available in PDF, EPUB and Kindle.
| Author | : Hartmut Ehrig |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 333 |
| Release | : 2012-12-06 |
| ISBN-10 | : 9783642699627 |
| ISBN-13 | : 3642699626 |
| Rating | : 4/5 (27 Downloads) |
Book Synopsis Fundamentals of Algebraic Specification 1 by : Hartmut Ehrig
Book excerpt: 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.
