Record:   Prev Next
Author MPC 2008 (2008 : Marseille, France)
Title Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring
Imprint Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
book jacket
Record:   Prev Next