{"product_id":"understanding-behaviour-of-distributed-systems-using-mcrl2-9783031230073","title":"Understanding Behaviour of Distributed Systems Using mCRL2","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 235 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 26 February 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.   The underlying technique is based on verifying requirements through model checking.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031230073\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 2023 ed.\u003c\/p\u003e","brand":"Muhammad Atif,Jan Friso Groote","offers":[{"title":"Hardback","offer_id":47425547960570,"sku":"9783031230073","price":133.27,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1750441246716_book_a2f120a5-0d0c-4c29-aa0f-2539cee6f0f6.jpg?v=1750526720","url":"https:\/\/shulphink.com\/products\/understanding-behaviour-of-distributed-systems-using-mcrl2-9783031230073","provider":"Shulph Ink","version":"1.0","type":"link"}