Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006 La Roche en Ardenne, Belgium, June 1-3, 2006 Revised ... Notes in Computer Science (4409), Band 4409)

von: José Luiz Fiadeiro · Pierre-Yves Schobbens Taschenbuch Details (Deutschland) ISBN: 978-3-540-71997-7 ISBN-10: 3-540-71997-0 Springer · 2009