Mathematics of program construction : 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Roland Backhouse, José Nuno Oliveira (eds.)
Bok Engelsk 2000 MPC 2000
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | VII, 255 s. : fig.
|
| Emner | |
| Dewey | |
| ISBN | 3540677275
|
