دانلود کتاب Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
by Michael Altenhofen
|
عنوان فارسی: روندهای اخیر در تکنیک های توسعه جبری: 19 بین المللی کارگاه، WADT 2008، پیزا، ایتالیا، ژوئن 13-16، 2008، تجدید نظر برگزیده مقالات |