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

Bibliographic Information

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

J.L.A. van de Snepscheut (ed.)

(Lecture notes in computer science, 375)

Springer-Verlag, c1989

  • : gw
  • : us

Available at  / 58 libraries

Search this Book/Journal

Note

"Papers presented at the Conference on Mathematics of Program Construction, held June 26-30, 1989, Groningen"--Pref

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top