Title: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Abstract: 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.
Publication Year: 1985
Publication Date: 1985-04-19
Language: en
Type: book
Access and Citation
Cited By Count: 676
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot