Networked Systems: 7th International Conference, Netys 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers
Atig, Mohamed Faouzi, Schwarzmann, Alexander A.
- 出版商: Springer
- 出版日期: 2019-09-14
- 售價: $2,370
- 貴賓價: 9.5 折 $2,252
- 語言: 英文
- 頁數: 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.