Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science (2755), Band 2755)

von: Rolf Hennicker · Martin Wirsing · Dirk Pattinson Taschenbuch Details (Deutschland) ISBN: 978-3-540-20537-1 ISBN-10: 3-540-20537-3 Springer · 2008