| 书目名称 | Formal Specification Using Z |
| 编辑 | David Lightfoot |
| 视频video | http://file.papertrans.cn/346/345906/345906.mp4 |
| 丛书名称 | Computer Science Series |
| 图书封面 |  |
| 描述 | 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 |
| 关键词 | 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 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-9-13 08:15
发表于 2025-3-21 20:06:20
