Cover Image
Saved in:

Mathematics of program construction : 375th anniversary of the Groningen University, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings /

Corporate Author: Conference on Mathematics of Program Construction
Other Authors: Van de Snepscheut, Jan L. A., 1953-
Format: Conference Proceeding Book
Published: Berlin ; New York : Springer-Verlag, c1989.
Series:Lecture notes in computer science ; 375
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description:Papers presented at the Conference on Mathematics of Program Construction, held June 26-30, 1989, Groningen.
Physical Description:vi, 420 p. ; 25 cm.
Bibliography:Includes bibliographies and index.
ISBN:0387513051 (u.S.) :