دانلود کتاب Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
by Reiko Heckel
|
عنوان فارسی: روندهای اخیر در تکنیک های توسعه جبری: 17 بین المللی کارگاه، WADT 2004، بارسلونا، اسپانیا، 27-29 مارس، 2004. تجدید نظر برگزیده مقالات |