Recent Trends in Algebraic Development Techniques
Subtitle: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Publisher: Springer
Published: Apr 13, 2013
Format: paperback
Number of pages: 296
ISBN-13: 9783642376368
Notes: Source title: Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers