-
1The Munich Project CIP [electronic resource] : Volume II: The Program Transformation System CIP-S / The Munich Project CIP [electronic resource] : Volume II: The Program Transformation System CIP-S /by Bauer, F. L. editor., Ehler, H. editor., Horsch, A. editor., Möller, B. editor., Partsch, H. editor., Paukner, O. editor., Pepper, P. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
2The Munich Project CIP [electronic resource] : Volume II: The Program Transformation System CIP-S / The Munich Project CIP [electronic resource] : Volume II: The Program Transformation System CIP-S /by Bauer, F. L. editor., Ehler, H. editor., Horsch, A. editor., Möller, B. editor., Partsch, H. editor., Paukner, O. editor., Pepper, P. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
3Program Construction [electronic resource] : International Summer School / Program Construction [electronic resource] : International Summer School /by Bauer, Friedrich L. editor., Broy, Manfred. editor., Dijkstra, E. W. editor., Gerhart, S. L. editor., Gries, D. editor., Griffiths, M. editor., Guttag, J. V. editor., Horning, J. J. editor., Owicki, S. S. editor., Pair, C. editor., Partsch, H. editor., Pepper, P. editor., Wirsing, M. editor., Wössner, H. editor., SpringerLink (Online service)
Published 1979Texto bibliotecaCOLPOS -
4Program Construction [electronic resource] : International Summer School / Program Construction [electronic resource] : International Summer School /by Bauer, Friedrich L. editor., Broy, Manfred. editor., Dijkstra, E. W. editor., Gerhart, S. L. editor., Gries, D. editor., Griffiths, M. editor., Guttag, J. V. editor., Horning, J. J. editor., Owicki, S. S. editor., Pair, C. editor., Partsch, H. editor., Pepper, P. editor., Wirsing, M. editor., Wössner, H. editor., SpringerLink (Online service)
Published 1979Texto bibliotecaCOLPOS