Formal Methods for Multicore Programming Formal Methods for Multicore Programming

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

Marco Bernardo و Einar Broch Johnsen
    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٥
٦ مايو
اللغة
EN
الإنجليزية
عدد الصفحات
٢١٨
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٥٫٣
‫م.ب.‬

المزيد من الكتب المشابهة

Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
٢٠١٨
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
٢٠١٦
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٦
It's All About Coordination It's All About Coordination
It's All About Coordination
٢٠١٨
Models, Languages, and Tools for Concurrent and Distributed Programming Models, Languages, and Tools for Concurrent and Distributed Programming
Models, Languages, and Tools for Concurrent and Distributed Programming
٢٠١٩
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
٢٠١١

المزيد من كتب Marco Bernardo & Einar Broch Johnsen

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
٢٠١٦
Formal Methods for Web Services Formal Methods for Web Services
Formal Methods for Web Services
٢٠٠٩
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
٢٠١١
Formal Methods for Performance Evaluation Formal Methods for Performance Evaluation
Formal Methods for Performance Evaluation
٢٠٠٧
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
٢٠١٠
Formal Methods for Computational Systems Biology Formal Methods for Computational Systems Biology
Formal Methods for Computational Systems Biology
٢٠٠٨