{"product_id":"9783031150760-model-checking-software-28th-internati","title":"Model Checking Software","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003e28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings\u003cbr\u003eThis book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.\u003cp\u003eThe 8 full papers were carefully reviewed and selected from 11 submissions. formal analysis for modeling languages, such as UML\/state charts;\u003c\/p\u003e\n\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56282753466742,"sku":"9783031150760","price":103.86,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36196461.jpg?v=1758748757","url":"https:\/\/www.rarewaves.com\/products\/9783031150760-model-checking-software-28th-internati","provider":"Rarewaves.com","version":"1.0","type":"link"}