![Networked Systems: 8Th International Conference, Netys 2020, Marrakech, Morocco, June 3Â5, 2020, Proceedings (Lecture Notes In Computer Science, 12129) Networked Systems: 8Th International Conference, Netys 2020, Marrakech, Morocco, June 3Â5, 2020, Proceedings (Lecture Notes In Computer Science, 12129)](https://cdn11.bigcommerce.com/s-gibnfyxosi/images/stencil/300x300/products/621622/627887/9783030670863__75652.1635048531.jpg?c=1)
Networked Systems: 7Th International Conference, Netys 2019, Marrakech, Morocco, June 19?21, 2019, Revised Selected Papers (Lecture Notes In Computer Science, 11704)
Springer
ISBN13:
9783030312763
$61.47
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.
- | Author: Mohamed Faouzi Atig, Alexander A. Schwarzmann
- | Publisher: Springer
- | Publication Date: Sep 14, 2019
- | Number of Pages: 408 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030312763
- | ISBN-13: 9783030312763
- Author:
- Mohamed Faouzi Atig, Alexander A. Schwarzmann
- Publisher:
- Springer
- Publication Date:
- Sep 14, 2019
- Number of pages:
- 408 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030312763
- ISBN-13:
- 9783030312763