Networked Systems
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc.*The c…
Mehr
CHF 95.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Georgiou, Chryssis (Hrsg.)
- ISBN: 978-3-030-67086-3
- EAN: 9783030670863
- Produktnummer: 35649227
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2021
- Seitenangabe: 396 S.
- Masse: H23.5 cm x B15.5 cm x D2.1 cm 598 g
- Auflage: 1st ed. 2021
- Abbildungen: Paperback
- Gewicht: 598
13 weitere Werke von Rupak (Hrsg.) Majumdar:
Computer Aided Verification
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
Ebook (PDF Format)
CHF 106.50
Networked Systems
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
Ebook (PDF Format)
CHF 78.00
Computer Aided Verification
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
Ebook (PDF Format)
CHF 106.50
Model Checking Software
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
Ebook (PDF Format)
CHF 100.00
Runtime Verification
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
Ebook (PDF Format)
CHF 66.50
Bewertungen
Anmelden