Recent trends in algebraic development techniques
Subtitle: 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
By: José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).
Contributors: Fiadeiro, José Luiz, 1961-; Mosses, Peter.; Orejas, F.
Series: Lecture notes in computer science,; 3423
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 269
Subjects: Computer software -- Development -- Congresses; Computer science -- Mathematics -- Congresses; Abstract data types (Computer science) -- Congresses
Genres: Congresses.
Other titles: WADT 2004
Notes: Includes bibliographical references and index.
"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref.
Also issued online.