分享给好友:
Program Development by Specification and Transformation: the Prospectra Methodology, Language Family, and System - Lecture Notes in Computer Science Berthold Hoffmann Annotated edition
Program Development by Specification and Transformation: the Prospectra Methodology, Language Family, and System - Lecture Notes in Computer Science
Berthold Hoffmann
A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.
630 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1993年8月30日 |
| ISBN13 | 9783540567332 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 630 |
| 商品尺寸 | 156 × 234 × 33 mm · 893 g |
| 语言 | 德语 |
| 编辑 | Hoffmann, Berthold |
| 编辑 | Krieg-bruckner, Bernd |