Mathematics of program construction : 3rd international conference proceedings, MPC, Kloster Irsee, Germany, July 17-21, 1995

Mathematics of program construction : 3rd international conference proceedings, MPC, Kloster Irsee, Germany, July 17-21, 1995 - - Berlin Springer 1995 - viii,472 p. 23.5 cm - Lecture notes in computer science ; v.947 .

3-540-60117-1



Computer Science and Engineering
Computer programs-Mathematics-Congresses

681.3.06:51Mat:3:95

Powered by Koha