روندهای اخیر در تکنیک های توسعه جبر: 23 کارگاه بین المللی IFIP WG 1.3 ، WADT 2016 ، Gregynog ، انگلستان ، 21 تا 24 سپتامبر 2016 ، برگه های منتخب
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
نویسنده: Phillip James,Markus Roggenbach (eds.)
ناشر: Springer International Publishing
سال انتشار: 2017
تعداد صفحات: 228
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت