Mathematics of program construction : 5th international conference proceedings, MPC, Ponte de Lima, Portugal, July 3-5, 2000

Mathematics of program construction : 5th international conference proceedings, MPC, Ponte de Lima, Portugal, July 3-5, 2000 - - Berlin Springer-Verlag 2000 - vii,257 p. 24 cm - Lecture notes in computer science ; v.1837 .

3-540-67727-5



Computer Science and Engineering
Computer programs-Mathematics-Congresses

681.3.06:51Mat:5:00

Powered by Koha