{"product_id":"networked-systems-7th-international-conference-netys-2019-marrakech-morocco-june-19-21-2019-revised-selected-papers-von-mohamed-faouzi-atig-alexander-a-schwarzmann-hrsg","title":"Networked Systems","description":"\n                                \n                \u003cp\u003e\n                                        This book constitutes the revised selected papers of the 7\n                    \n                    \u003csup\u003eth\u003c\/sup\u003e\n                                         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.\n                \n                \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783030312763\"\u003e\u003ch3\u003e7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783030312763","offer_id":39423879151709,"sku":"9783030312763","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9a0ab458-1f6b-4a76-8bbe-ff04939c57c0.jpg?v=1773551744","url":"https:\/\/shop.autorenwelt.de\/products\/networked-systems-7th-international-conference-netys-2019-marrakech-morocco-june-19-21-2019-revised-selected-papers-von-mohamed-faouzi-atig-alexander-a-schwarzmann-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}