Record:   Prev Next
Author MPC 2002 (2002 : Dagstuhl Castle)
Title Mathematics of program construction [electronic resource] : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Moller (eds.)
Imprint Berlin ; New York : Springer, c2002
book jacket
Record:   Prev Next