1
Published 1987
Springer Berlin Heidelberg
... purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method...

2
Published 1999
Vieweg+Teubner Verlag
Table of Contents: ... und Programme -- 8 Prozeduren -- 9 Auswahlanweisungen -- 10 Wiederholungsanweisungen -- 11 Boolesche...