Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
ISBN:9783540431596在线阅读本书 This book constitutes the thoroughly refereed post-workshop proceedin...
Recent Trends in Algebraic Development Techniques 15 th International Workshop WADT 2001 Joint with the CoFI WG Meeting Genova Italy April 1 3 2001 Selected Papers
Mas Alla De Cofi En Donas
ISBN:9781419659225...