Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)
暫譯: 多核心程式設計的形式方法：第十五屆計算機、通信與軟體系統設計的形式方法國際學校講座（計算機科學講義）

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2015-05-19
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 220
  • 裝訂: Paperback
  • ISBN: 3319189409
  • ISBN-13: 9783319189406
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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年6月於意大利貝爾蒂諾羅舉行的第15屆國際計算機、通信和軟體系統設計形式方法學校（SFM 2015）上所進行的五場教學講座。SFM 2015專注於多核心編程，涵蓋了如並發性與協調機制、架構與記憶體模型以及類型系統等主題。

類似商品