Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... (Lecture Notes in Computer Science)
暫譯: 分散物件、元件與系統的正式技術：第36屆IFIP WG 6.1國際會議，FORTE 2016，作為第11屆...的一部分（計算機科學講義）

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2016-06-27
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 292
  • 裝訂: Paperback
  • ISBN: 3319395696
  • ISBN-13: 9783319395692
  • 相關分類: Computer-Science

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

相關主題

商品描述

This book constitutes the proceedings of the 36th IFIP WG 6.1
International Conference on Formal Techniques for Distributed Objects,
Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June
2016, as part of the 11th International Federated Conference on
Distributed Computing Techniques, DisCoTec 2016.

The 18 revised full papers presented were carefully reviewed and
selected from 44 submissions. The papers present a wide range of topics
on distributed computing models and formal specification, testing, and
verification methods.

商品描述(中文翻譯)

本書為第36屆IFIP WG 6.1國際會議《分散物件、元件及系統的正式技術》（FORTE 2016）的會議紀錄，該會議於2016年6月在希臘克里特島的赫拉克利翁舉行，並作為第11屆國際聯合會議《分散計算技術》（DisCoTec 2016）的一部分。

所呈現的18篇修訂完整論文經過仔細審查，從44篇投稿中選出。這些論文涵蓋了分散計算模型、正式規範、測試及驗證方法等廣泛主題。

類似商品

最後瀏覽商品 (9)