ENGLISH

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

By Hartmut Ehrig , Bernd Mahr

Book information

Publisher
Springer
Year
1985
ISBN
978-3-642-69962-7, 978-3-642-69964-1, 3-540-13642-8, 3-540-13641-X, 3-540-13302-X
DOI
10.1007/978-3-642-69962-7
Language
english
Format
DJVU
Filesize
2 MB (2255654 bytes)
Series
EATCS Monographs on Theoretical Computer Science 6
Pages
332\332
Library
Kolxo3
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2013-12-29 19:00:00
CompilersInterpreters; Software Engineering; AlgebraLogics and Meanings of Programs; Computation by Ab

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.

Similar books