Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Hartmut Ehrig, Bernd MahrThe 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.
年:
1985
出版社:
Springer
语言:
english
页:
332
ISBN 10:
3642699626
ISBN 13:
9783642699641
系列:
EATCS Monographs on Theoretical Computer Science 6
文件:
DJVU, 2.15 MB
IPFS:
,
english, 1985
因版权方投诉,本书无法下载