The Munich Project Cip (The Programme Transformation System Cip-s) - Lecture Notes in Computer Science Springer
The Munich Project Cip (The Programme Transformation System Cip-s) - Lecture Notes in Computer Science
Springer
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important.
524 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1988年1月13日 |
| ISBN13 | 9783540187790 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 524 |
| 商品尺寸 | 155 × 235 × 27 mm · 743 g |
| 语言 | 德语 |
| 编辑 | Bauer, F. L. |
| 编辑 | Etc. |
Springer的更多作品
显示全部Mere med samme udgiver
查看Springer的全部作品 ( 例如 Book , Paperback Book 及 Hardcover Book )