Mathematics of Program Construction
Subtitle: 375th Anniversary of the Groningen University International Conference Groningen, the Netherlands, June 26-30, 1 (Lecture Notes in Computer Science)
Contributors: Conference on Mathematics of Program Construction (Corporate Author); Jan L. A. Van De Snepscheut (Editor)
Publisher: Springer
Published: October 1989
Language: eng
Number of pages: 420
ISBN-13: 9780387513058