{"product_id":"9783319395692","title":"Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Gr","description":"This book constitutes the proceedings of the 36th IFIP WG 6.1 \u003cbr\u003e International Conference on Formal Techniques for Distributed Objects, \u003cbr\u003e Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June \u003cbr\u003e 2016, as part of the 11th International Federated Conference on \u003cbr\u003e Distributed Computing Techniques, DisCoTec 2016. \u003cbr\u003e  \u003cbr\u003e The 18 revised full papers presented were carefully reviewed and \u003cbr\u003e selected from 44 submissions. The papers present a wide range of topics \u003cbr\u003e on distributed computing models and formal specification, testing, and \u003cbr\u003e verification methods. \u003cbr\u003e  \u003cbr\u003e","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":46310377488625,"sku":"9783319395692","price":56.66,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0674\/5433\/7265\/files\/9783319395692_p0.jpg?v=1765172073","url":"https:\/\/shop.barnesandnoble.com\/products\/9783319395692","provider":"Barnes \u0026 Noble","version":"1.0","type":"link"}