Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers /

Podobne zapisy

• Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
  od: Andrea Corradini, Ugo Montanari
  Wydane: (2009)
• Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
  od: Narciso Martí-Oliet, Miguel Palomino
  Wydane: (2013)
• Recent Trends in Algebraic Development Techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
  od: José Luiz Fiadeiro, Pierre-Yves Schobbens
  Wydane: (2007)
• Recent Trends in Algebraic Development Techniques : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers /
  od: José Luiz Fiadeiro
  Wydane: (1999)
• Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers /
  od: Maura Cerioli, Gianna Reggio
  Wydane: (2002)