Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, Band 3423)

von: Fernando Orejas · Luiz Fiadeiro · Peter Mosses Taschenbuch Details (Deutschland) ISBN: 978-3-540-25327-3 ISBN-10: 3-540-25327-0 Springer · 2008