Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006 La Roche en Ardenne, Belgium, June 1-3, 2006 Revised Selected Papers
詳しい情報
出版社: Springer(2009-02-22)
ペーパーバック: 184 ページ / 15.5 x 1.1 x 23.5 cm
ISBN-10: 3540719970 ISBN-13: 9783540719977