Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas.
E-book
Electronic resources
View other formats and editions
Record details
- ISBN: 9783540319597
- Physical Description: VIII, 271 p. Also available online. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.