Mathematics of Program Construction: Third International Conference, Mpc '95, Kloster Irsee, Germany, July 17-21, 1995 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: July 1995
Language: eng
Format: Paperback
Number of pages: 472
ISBN-13: 9783540601173
Subjects: Mathematical theory of computation; Programming - General; Computers; Computer Mathematics; Computer Programs; Science/Mathematics; Computers - Languages / Programming; Mathematics; Computer Books: Languages; Logic Design; Programming - Software Development; Computer Programming; Computer Science; Congresses