Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Format: paperback
ISBN:
9783642034282 (3642034284)
Publish date: September 7th 2009
Publisher: Springer
Pages no: 341
Edition language: English