Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006 La Roche en Ardenne, Belgium, June 1-3, 2006 Revised Selected Papers: 4409 (Lecture Notes in Computer Science)

by José Luiz Fiadeiro (Editor), Pierre-Yves Schobbens (Series Editor)

• New

  Illustrated
  2007

  $69.36

  This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006.