Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001, Genova, Italy, April 1-3, 2001 : selected papers
En línea
x, 343 : il. ; 24 cm
9783540431596, 3540431594
912326748