책 이미지
책 정보
· 제목 : Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (Paperback, 2015) 
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319189406
· 쪽수 : 211쪽
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319189406
· 쪽수 : 211쪽
목차
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.- Coordinating Multicore Computing.- Modeling of Architectures.- A Gentle Introduction to Multiparty Asynchronous Session Types.- Refined Ownership: Fine-Grained Controlled Internal Sharing.
추천도서
분야의 베스트셀러 >