Networked Systems: 7th International Conference, Netys 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers
暫譯: 網絡系統：第七屆國際會議 Netys 2019，摩洛哥馬拉喀什，2019年6月19-21日，修訂選定論文
Atig, Mohamed Faouzi, Schwarzmann, Alexander A.
- 出版商: Springer
- 出版日期: 2019-09-14
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 388
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030312763
- ISBN-13: 9783030312763
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the revised selected papers of the 7th International Conference on Networked Systems, NETYS 2019, held in Marrakech, Morocco, in June 2019. The 23 revised full papers and 3 short papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in the following topics: formal verification, distributed systems, security, concurrency, and networks.
商品描述(中文翻譯)
本書為2019年6月在摩洛哥馬拉喀什舉行的第七屆國際網絡系統會議（NETYS 2019）修訂選定論文的合集。共收錄了23篇修訂的完整論文和3篇短文，這些論文是從60篇提交的稿件中仔細審核和選出的。論文的主題包括：形式驗證、分散式系統、安全性、併發性和網絡。
