Mathematics of program construction
Subtitle: third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
By: Bernhard Möller, ed.
Contributors: Möller, Bernhard, 1953-
Series: Lecture notes in computer science ;; 947
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 472
Subjects: Computer programming -- Congresses; Computer science -- Mathematics -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references.