中图分类法:	TP311-532 版次：
题名:	Mathematics of program construction : [ 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /] / ,
其它题名:	MPC 2008
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： 2008.
载体形态:	x, 421 p. : ill. ; 24 cm.
主题词:	Computer programming
主题词:	Computer science Mathematics
主要责任者:	Audebaud, Philippe.
主要责任者:	Paulin-Mohring, Christine.