Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /

Lignende værker

• Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers /
  af: Francesco Parisi Presicce
  Udgivet: (1998, c1998)
• Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
  af: José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas
  Udgivet: (2005, c2005)
• Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
  af: Andrea Corradini, Ugo Montanari
  Udgivet: (2009, c2009)
• Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
  af: Martin Wirsing, Dirk Pattinson, Rolf Hennicker
  Udgivet: (2003, c2003)
• Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
  af: Till Mossakowski, Hans-Jörg Kreowski
  Udgivet: (2012, c2012)