Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germa - detaljert visning

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

MPC 2002
Bok Engelsk 2002


Utgitt	Berlin : Springer , c2002
Omfang	X, 262 s.
Emner	Computer programming Computer science - Mathematics Matematisk programmering
ISBN	3540438572