Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso MartÃ-Oliet, Miguel Palomino.
E-book
Electronic resources
Record details
- ISBN: 9783642376351
- Physical Description: X, 283 p. 71 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.