分享给好友:
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) Kaisa Sere 1999 edition
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT)
Kaisa Sere
The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.
364 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1998年10月23日 |
| ISBN13 | 9781852330538 |
| 出版商 | Springer London Ltd |
| 页数 | 364 |
| 商品尺寸 | 155 × 235 × 19 mm · 530 g |
| 语言 | 英语 |
| 编辑 | Sekerinski, Emil |
| 编辑 | Sere, Kaisa |
查看Kaisa Sere的全部作品 ( 例如 Paperback Book )