| 書目名稱 | 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 | | 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 10:37
發(fā)表于 2025-3-21 18:29:27
