Equations and initial semantics
Author(s)
Bibliographic Information
Equations and initial semantics
（EATCS monographs on theoretical computer science, v. 6 . Fundamentals of algebraic specification ; v. 1）
Springer-Verlag, c1985
- : U.S.
- : Germany
- Other Title
-
Algebraic specification
Available at / 49 libraries
-
Science and Technology Library, Kyushu University
: Germany027232004151594,
K/Ehr068252185005154, : USEHRI/10/2-1068222190000423 -
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyEHR||4||285022982
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [307]-315
Includes index
Description and Table of Contents
Description
The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects: fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which arethe basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense ofconcepts, which are introduced on a conceptual level andformalized in mathematical terms. The book is equally suitableas a text book for graduatecourses and as a reference for researchers and systemdevelopers.
by "Nielsen BookData"
