{"product_id":"declarative-models-of-concurrent-cyclic-processes-9783031405518","title":"Declarative Models of Concurrent Cyclic Processes","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 178 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 31 October 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eTypical examples are the passenger railway system, the manufacturing system, the transportation system, and etc.Considered problems, i.e., the behavior analysis problem, the structure prototyping problem, and the problem of mutual reachability of various SCCMP behaviors, are strongly NP-hard.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031405518\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 2023 ed.\u003c\/p\u003e","brand":"Grzegorz Bocewicz","offers":[{"title":"Hardback","offer_id":47427001909498,"sku":"9783031405518","price":108.28,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1750464473869_book.jpg?v=1750548283","url":"https:\/\/shulphink.com\/products\/declarative-models-of-concurrent-cyclic-processes-9783031405518","provider":"Shulph Ink","version":"1.0","type":"link"}