01326nam--2200361---450-99000307604020331620080410130309.0978-3-540-71997-7000307604USA01000307604(ALEPH)000307604USA0100030760420080306d2007----km-y0itay0103----baengDEa|||||||001yyRecent trends in algebraic development techniques18th international workshop, WADT 2006La Roche en Ardenne, Belgium, June 2006revised selected papersJosé Luiz Fiadeiro, Pierre-Yves-Schobbens (Eds.)Berlin [etc.]Springercopyr. 2007170 p.ill.24 cm.Lecture notes in computer science44092001Lecture notes in computer science4409FIADEIRO,José LuizSCHOBBENS,Pierre-YvesInternational workshop, WADT 2006<18.;2006;La Roche en Ardenne>600568ITAsalbcISBD990003076040203316001 LNCS 440934900/CBS00100224966BKSCIANGELA9020080306USA011241ANGELA9020080410USA011303Recent trends in algebraic development techniques1023286UNISA