Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3423)
詳しい情報
出版社: Springer(2008-06-13)
ペーパーバック: 288 ページ / 15.5 x 1.7 x 23.5 cm
ISBN-10: 3540253270 ISBN-13: 9783540253273