Del 11028
Networked Systems
6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
AvFrancois Taiani,Andreas Podelski
E-bok
Engelska, 2019708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
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
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
Tools and Algorithms for the Construction and Analysis of Systems
Andreas Podelski, Kurt Jensen
E-bok
20041 408 kr
Verification, Model Checking, and Abstract Interpretation
Andreas Podelski, Byron Cook
E-bok
2007708 kr
Verified Software: Theories, Tools, Experiments
Rajeev Joshi, Peter Müller, Andreas Podelski
Häftad, 2012
561 kr
Verified Software: Theories, Tools, Experiments
Andreas Podelski, Peter Muller, Rajeev Joshi
E-bok
2012708 kr
Del 11002