دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
دانلود کتاب روش‌های رسمی برای برنامه‌نویسی چند هسته‌ای: پانزدهمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2015، برتینورو، ایتالیا، 15-19 ژوئن 2015، سخنرانی‌های پیشرفته
مشخصات کتاب
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
ویرایش: [1 ed.]
نویسندگان: Marco Bernardo. Einar Broch Johnsen (eds.)
سری: Lecture Notes in Computer Science 9104
ISBN (شابک) : 9783319189406, 9783319189413
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 211
[218]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 Mb
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی برای برنامه‌نویسی چند هسته‌ای: پانزدهمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2015، برتینورو، ایتالیا، 15-19 ژوئن 2015، سخنرانی‌های پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی برای برنامه‌نویسی چند هسته‌ای: پانزدهمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2015، برتینورو، ایتالیا، 15-19 ژوئن 2015، سخنرانی‌های پیشرفته
این کتاب 5 سخنرانی آموزشی را ارائه می دهد که توسط محققان برجسته در پانزدهمین ویرایش مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطی و نرم افزاری، SFM 2015، در برتینورو، ایتالیا، در ژوئن 2015 برگزار شد. SFM 2015 به برنامه نویسی چند هسته ای اختصاص داشت و موضوعاتی مانند مکانیسم های همزمانی و هماهنگی، مدل های معماری و حافظه و سیستم های نوع را پوشش می داد.
توضیحاتی درمورد کتاب به خارجی
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
فهرست مطالب
Front Matter....Pages I-VII
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore ....Pages 1-56
Coordinating Multicore Computing....Pages 57-96
Modeling of Architectures....Pages 97-145
A Gentle Introduction to Multiparty Asynchronous Session Types....Pages 146-178
Refined Ownership:....Pages 179-210
Back Matter....Pages 211-211
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Religion and Folk Cosmology: Scenarios of the Visible and Invisible in Rural Egypt
دانلود کتاب Nationalism its Meaning and History
دانلود کتاب Waves in Layered Media
دانلود کتاب The Heart of Russia: Trinity-Sergius, Monasticism, and Society After 1825
