Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings

Jan L. A. van de Snepscheut, editor, Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings. Volume 375 of Lecture Notes in Computer Science, Springer, 1989.

Conference: mpc1989

Abstract

Abstract is missing.

Table of Contents