by Bauer, F.L. [Assistant]; Berghammer, R. [Assistant]; Broy, M. [Assistant]; Dosch, W. [Assistant]; Geiselbrechtinger, F. [Assistant]; Gnatz, R. [Assistant]; Hangel, E. [Assistant]; Hesse, W. [Assistant]; Krieg-Brückner, B. [Assistant]; Laut,
Springer, 1987. Volume Two, 522 pp., paperback, ex library, spine and inner margins of covers worn, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
This seller has earned a 4.9 of 5 Stars rating from Biblio customers.
Item price
A$105.20
A$15.57
Delivery to USA
Show details
Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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
Paperback / softback. New. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming.
Try adding this search to your wish list. Millions of books are added to our site every day, and when we find one that matches your search, we'll email you. Best of all, it's free.