中图分类法:	TP31-532 版次：
题名:	Recent trends in algebraic development techniques : [ 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers /] / ,
其它题名:	WADT 2004
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2005.
载体形态:	viii, 269 p. : ill. ; 24 cm.
附注:	"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref.
主题词:	Computer software Development
主题词:	Computer science Mathematics
主题词:	Abstract data types (Computer science)
主要责任者:	Fiadeiro, José Luiz,
主要责任者:	Mosses, Peter.
主要责任者:	Orejas, F.