{"product_id":"networked-systems-7th-international-conference-netys-2019-marrakech-morocco-june-19-21-2019-revised-selected-papers-9783030312763","title":"Networked Systems: 7th International Conference, Netys 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers","description":"\u003cp\u003e • Author(s): Mohamed Faouzi Atig\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Networking - Hardware\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the revised selected papers of the 7\u003csup\u003eth\u003c\/sup\u003e 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283634282647,"sku":"9783030312763","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030312763.webp?v=1769305457","url":"https:\/\/atlanticbooks.com\/products\/networked-systems-7th-international-conference-netys-2019-marrakech-morocco-june-19-21-2019-revised-selected-papers-9783030312763","provider":"Atlantic Books","version":"1.0","type":"link"}