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
-
- US$39.99
-
- US$39.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2015년
5월 6일
언어
EN
영어
길이
218
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
5.3
MB
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016년
Formal Methods for Web Services
2009년
Formal Methods for Eternal Networked Software Systems
2011년
Formal Methods for Performance Evaluation
2007년
Computer Performance Engineering
2010년
Formal Methods for Computational Systems Biology
2008년