書(shū)目名稱 | Formal Specification Using Z |
編輯 | David Lightfoot |
視頻video | http://file.papertrans.cn/346/345906/345906.mp4 |
叢書(shū)名稱 | Computer Science Series |
圖書(shū)封面 |  |
描述 | Covers the main areas of formal specification in Z at an introductory level. The explanations of the mathematics of Z are interleaved with the development of an example specification. Exercises are included throughout and sample solutions are provided. |
出版日期 | Textbook 1991Latest edition |
關(guān)鍵詞 | Area; calculus; development; formal specification; function; functions; Logic; mathematics; proposition |
版次 | 1 |
doi | https://doi.org/10.1007/978-1-349-12144-1 |
copyright | David Lightfoot 1991 |