Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /

Benzer Materyaller

• Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
  Yazar:: Till Mossakowski, Hans-Jörg Kreowski
  Baskı/Yayın Bilgisi: (2012)
• Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
  Yazar:: José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas
  Baskı/Yayın Bilgisi: (2005)
• Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
  Yazar:: Andrea Corradini, Ugo Montanari
  Baskı/Yayın Bilgisi: (2009)
• Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
  Yazar:: Didier Bert, Christine Choppy, Peter D. Mosses
  Baskı/Yayın Bilgisi: (2000)
• Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
  Yazar:: Narciso Martí-Oliet, Miguel Palomino
  Baskı/Yayın Bilgisi: (2013)