Recent trends in algebraic development techniques  17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers 
 WADT 2004 
José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) 
 - Berlin  New York  Springer  c2005 
 - viii, 269 p  ill  24 cm 
 - Lecture notes in computer science  3423 .
<br/><br/> "WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref 
<br/><br/><label>ISBN: </label>3540253270 (pbk. : acid-free paper) 
<br/><br/><label>Standard No.: </label>9783540253273 
<br/><br/><label>LCCN: </label>2005922176 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development<br/>Computer science--Mathematics<br/>Abstract data types (Computer science)
<br/><br/><label>Dewey Class. No.: </label>005.1