| 书目名称 | Programming with VDM | | 编辑 | F. D. Rolland | | 视频video | http://file.papertrans.cn/761/760204/760204.mp4 | | 丛书名称 | Computer Science Series | | 图书封面 |  | | 描述 | This text aims to provide a practical programmer‘s introduction to VDM (Vienna Development Method) - one of the leading methods of formal methods for program development. Adopts an object-oriented approach to software design and includes many examples of target programs written in Modula-2. Although intended for readers with some experience of programming, no prior knowledge of mathematics is assumed: the contents include a chapter on the mathematics required for VDM. The final chapter contains a prototype electronic mail system, specified using VDM, and implemented in Modula-2. | | 出版日期 | Textbook 1992Latest edition | | 关键词 | design; development; formal methods; language; programming; software | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-349-12692-7 | | copyright | F.D. Rolland 1992 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-12-15 13:30
发表于 2025-3-21 18:29:27
