{"product_id":"formal-aspects-of-component-software-9783030906368","title":"Formal Aspects of Component Software","description":"\u003cp\u003eThis book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling \u0026amp; Composition and Verification.  Chapter \"A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions\" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911291072791,"sku":null,"price":5397.75,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030906368.jpg?v=1781265994","url":"https:\/\/payment.letskitaboo.com\/te\/products\/formal-aspects-of-component-software-9783030906368","provider":"Kitaboo One eStore","version":"1.0","type":"link"}