Networked Systems
6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
AvAndreas Podelski,François Taïani
Häftad, Engelska, 2019
Del 11028 i serien Lecture Notes in Computer Science
561 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018.The 22 full and 6 short papers presented together with 11 keynotes and 2 invited papers were carefully reviewed and selected from 85 submissions. They are organized in the following topics: distribution; concurrency; verification; networking; self-stabilization; security; graph; and middleware.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Tools and Algorithms for the Construction and Analysis of Systems
Kurt Jensen, Andreas Podelski
Häftad, 2004
1 114 kr
Verification, Model Checking, and Abstract Interpretation
Byron Cook, Andreas Podelski
Häftad, 2007
561 kr
Verified Software: Theories, Tools, Experiments
Rajeev Joshi, Peter Müller, Andreas Podelski
Häftad, 2012
561 kr
Del 11002
- -30%
- -22%
- 4 för 3
Del 8
- 4 för 3
Del 1