Formal Methods for Multicore Programming

/برچست: Formal Methods for Multicore Programming

دانلود کتاب روش های رسمی برای برنامه نویسی چند هسته

توسط |۱۳۹۶-۱۰-۳ ۰۸:۴۷:۵۷ +۰۰:۰۰فروردین ۱۱ام, ۱۳۹۶|دسته‌ها: مهندسی فناوری اطلاعات(IT)|برچسب‌ها: , , , , , |

دانلود کتاب روش های رسمی برای برنامه نویسی چند هسته Formal Methods for Multicore Programming   نویسنده: (by Marco Bernardo (Editor), Einar Broch Johnsen (Editor ویرایش: 1 سال انتشار: 2015 قیمت در آمازون: 48 دلار نوع فایل: pdf تعداد صفحات: 218 This book presents 5 tutorial lectures given by leading [...]