دانلود کتاب Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers (به فارسی: گرایش های اخیر در تکنیک های توسعه جبری: پانزدهمین کارگاه بین المللی، WADT 2001 مشترک با نشست CoFI WG جنوا، ایتالیا، 1 تا 3 آوریل، 2001 مقالات منتخب) نوشته شده توسط «Roswitha Bardohl – Martin Groβe-Rhode (auth.) – Maura Cerioli – Gianna Reggio (eds.)»
اطلاعات کتاب گرایش های اخیر در تکنیک های توسعه جبری: پانزدهمین کارگاه بین المللی، WADT 2001 مشترک با نشست CoFI WG جنوا، ایتالیا، 1 تا 3 آوریل، 2001 مقالات منتخب
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Roswitha Bardohl – Martin Groβe-Rhode (auth.) – Maura Cerioli – Gianna Reggio (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 348
حجم کتاب: 3 مگابایت
کد کتاب: 3540431594 , 9783540431596
نوبت چاپ: 1
توضیحات کتاب گرایش های اخیر در تکنیک های توسعه جبری: پانزدهمین کارگاه بین المللی، WADT 2001 مشترک با نشست CoFI WG جنوا، ایتالیا، 1 تا 3 آوریل، 2001 مقالات منتخب
این کتاب مجموعه مقالات پس از کارگاه آموزشی پانزدهمین کارگاه بین المللی تکنیک های توسعه جبری، WADT 2001 است که به طور مشترک با کارگاه عمومی گروه کاری ESPRIT CoFI در ژنووا، ایتالیا، در آوریل 2001 برگزار شد.
کتاب ارائه می شود. 16 مقاله از 32 ارائه کارگاه انتخاب شده است. از جمله موضوعاتی که به آنها پرداخته می شود، مشخصات رسمی، زبان های مشخصات، بازنویسی اصطلاحات و سیستم های اثبات است.
The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.