{"product_id":"formal-techniques-for-distributed-objects-components-and-systems-springer-international-publishing-ag-9783319191942-35th-ifip-wg-6-1-international-conference-forte-2015-held-as-part-of-the-10th-international-federated-conference-on-distributed-computing-t","title":"Formal Techniques for Distributed Objects, Components, and Systems","description":"\u003cp\u003eExplore the cutting-edge insights in \u003cstrong\u003eFormal Techniques for Distributed Objects, Components, and Systems\u003c\/strong\u003e by \u003cstrong\u003eSusanne Graf\u003c\/strong\u003e. This essential volume presents the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2015), which took place in Grenoble, France, in June 2015. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this 2015 edition spans \u003cstrong\u003e245 pages\u003c\/strong\u003e and delves into the latest advancements in computer network protocols and electronic data processing. Ideal for researchers and practitioners in the field, this book offers a comprehensive overview of formal methods and their applications in distributed computing. Enhance your understanding and stay updated with the formal techniques that are shaping the future of distributed systems. Don’t miss out on this valuable resource for anyone interested in the complexities of modern computing.\u003c\/p\u003e","brand":"Susanne Graf","offers":[{"title":"Default Title","offer_id":52243229344086,"sku":"9783319191942","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319191942.jpg?v=1767766222","url":"https:\/\/www.englishbook.fi\/products\/formal-techniques-for-distributed-objects-components-and-systems-springer-international-publishing-ag-9783319191942-35th-ifip-wg-6-1-international-conference-forte-2015-held-as-part-of-the-10th-international-federated-conference-on-distributed-computing-t","provider":"Bookshop","version":"1.0","type":"link"}