This book is the second of two volumes that present the main results which emerged from the project CIP - "C"omputer-Aided, "I"ntuition-Guided "P"rogramming - at the Technical University of Munich.... This description may be from another edition of this product.