| 书目名称 | Fundamentals of Algebraic Specification 1 |
| 副标题 | Equations and Initia |
| 编辑 | Hartmut Ehrig,Bernd Mahr |
| 视频video | |
| 丛书名称 | Monographs in Theoretical Computer Science. An EATCS Series |
| 图书封面 |  |
| 描述 | 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;fundamentalsin the sense of mathematical theories which arethe basis for precise definitions, constructions, results,and correctness proofs; andfundamentals 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 andsystemdevelopers. |
| 出版日期 | Book 1985 |
| 关键词 | Mathematica; Semantik; Software-Spezifikation; abstract data types; abstrakte Datentypen; algebra; algebra |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-69962-7 |
| isbn_softcover | 978-3-642-69964-1 |
| isbn_ebook | 978-3-642-69962-7Series ISSN 1431-2654 Series E-ISSN 2193-2069 |
| issn_series | 1431-2654 |
| copyright | Springer-Verlag Berlin Heidelberg 1985 |
发表于 2025-3-21 19:00:28
