Recent trends in algebraic development techniques
Subtitle: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
By: Maura Cerioli, Gianna Reggio (eds.).
Contributors: Cerioli, Maura.; Reggio, Gianna, 1957-
Series: Lecture notes in computer science; 2267
Publisher: Springer
Published: 2001
Place of publication: Berlin; London
Language: eng
Number of pages: 343
Subjects: Computer software -- Development -- Congresses; Computer science -- Mathematics -- Congresses; Abstract data types (Computer science) -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.
Also available via the World Wide Web.