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
|