中图分类法:	TP31-532 版次：
题名:	Recent trends in algebraic development techniques : [ 19th international workshop, WADT 2008, Pisa, Italy, June 2008 : revised selected papers /] / ,
其它题名:	WADT 2008
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2009.
载体形态:	viii, 341 p. : ill. ; 24 cm.
主题词:	Computer software Development
主题词:	Computer science Mathematics
主题词:	Abstract data types (Computer science)
主要责任者:	Corradini, Andrea.
主要责任者:	Montanari, Ugo.