The Munich Project CIP : Volume II: The Program Transformation System CIP-S /
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 im...
Full description
Bibliographic Details
| Main Author: |
Bauer, F. L. |
|---|
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Ehler, H.,
Horsch, A.,
Möller, B.,
Partsch, H.,
Paukner, O.,
Pepper, P. |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1987.
|
|---|
| Series: | Lecture notes in computer science ;
292.
|
|---|
| Subjects: | |
|---|
| Online Access: | Connect to the full text of this electronic book
|
|---|