中图分类法:	TP311-532 版次：
题名:	Programming languages and systems : [ 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /] / ,
其它题名:	ESOP 2007
其它题名:	ETAPS 2007
其它题名:	European Joint Conferences on Theory and Practice of Software 2007
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2007.
载体形态:	xvii, 538 p. : ill. ; 24 cm.
主题词:	Computer programming
主题词:	Programming languages (Electronic computers)
主要责任者:	DE NICOLA, Rocco.
次要责任者:	ETAPS 2007