Recent Trends in Algebraic Development Techniques
Subtitle: 18th International Workshop, WADT 2006, la Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540719984
Subjects: Abstract data types (computer science); Computer science, mathematics; Computer software, development