Equations and initial semantics
著者
書誌事項
Equations and initial semantics
(EATCS monographs on theoretical computer science, v. 6 . Fundamentals of algebraic specification ; v. 1)
Springer-Verlag, c1985
- : U.S.
- : Germany
- タイトル別名
-
Algebraic specification
大学図書館所蔵 件 / 全49件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [307]-315
Includes index
内容説明・目次
内容説明
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.
「Nielsen BookData」 より