| 書目名稱 | Fundamentals of Algebraic Specification 1 |
| 副標題 | Equations and Initia |
| 編輯 | Hartmut Ehrig,Bernd Mahr |
| 視頻video | http://file.papertrans.cn/351/350122/350122.mp4 |
| 叢書名稱 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-13 12:18
發(fā)表于 2025-3-21 19:00:28
