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
3-540-67727-5
Computer Science and Engineering
Computer programs-Mathematics-Congresses
681.3.06:51Mat:5:00