| 書目名稱 | Fundamentals of Algebraic Specification 1 | | 副標(biāo)題 | 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 | | 關(guān)鍵詞 | 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 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-13 18:10
發(fā)表于 2025-3-21 19:00:28
