Recent Trends in Algebraic Development Techniques
Subtitle: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540319597
Subjects: Abstract data types (computer science); Computer science, mathematics; Computer software, development