โ Scribed by F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Mรถller, H. Partsch, P. Pepper, K. Samelson, H. Wรถssner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brรผckner, A. Laut, T. Matzner (auth.)
No coin nor oath required. For personal study only.
Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages
๐ SIMILAR VOLUMES
<p>This book is the second of two volumes that present the main results which emerged from the project CIP - <I>C</I>omputer-Aided, <I>I</I>ntuition-Guided <I>P</I>rogramming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is b
<p>This book is the second of two volumes that present the main results which emerged from the project CIP - <I>C</I>omputer-Aided, <I>I</I>ntuition-Guided <I>P</I>rogramming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is b
<p>The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming)