Recent Trends in Algebraic Development Techniques
Subtitle: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540400202
Subjects: Computer software, development; Computer science, mathematics; Abstract data types (computer science)