Recent Trends in Algebraic Development Techniques
Subtitle: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Publisher: Springer
Published: Apr 18, 2012
Format: paperback
Number of pages: 316
ISBN-13: 9783642284137
Notes: Source title: Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers