خرید کتاب روندهای اخیر در روشهای طراحی جبری: 23 امین کارگاه بین المللی IFIP WG 1.3 ، WADT 2016 ، Greginog ، انگلستان ، 21 تا 24 سپتامبر 2016 ، مقالات منتخب ویرایش شده

[ad_1]

این کتاب یک مقاله با دقت بررسی شده در پی کنفرانس بیست و سومین کارگاه بین المللی IFIP WG 1.3 در زمینه روش های توسعه جبری ، WADT 2016 است که در سپتامبر 2016 در Greginog ، انگلستان برگزار شد. 9 مقاله اصلاح شده ارائه شده به همراه دو گفتگوی دعوت شده ، یك سخنرانی دعوت شده و دو مقاله نقد و بررسی به دقت مورد بررسی قرار گرفته و از میان انواع ارسالی برای انتخاب اصول مشخصات جبری انتخاب شده است. رویکردهای دیگر برای مشخصات رسمی ، از جمله محاسبه فرآیند و مدل های محاسبات موازی ، توزیعی و موبایل. زبان ها ، روش ها و محیط مشخصات معناشناسی روشها و فنون مدل سازی مفهومی ؛ توسعه مدل محور ؛ تحولات گراف ، بازنویسی اصطلاح و سیستم های اثبات. ادغام روشهای مشخصات رسمی ؛ آزمایش رسمی و تضمین کیفیت ، اعتبار سنجی و تأیید ، که می تواند به سه دسته تقسیم شود: تجزیه و تحلیل محتوای چندرسانه ای ؛ پردازش و ارتباط سیگنال چندرسانه ای ؛ و برنامه ها و خدمات چندرسانه ای.

[ad_2]

read more