{"product_id":"9783030913830-model-checking-synthesis-and-learning","title":"Model Checking, Synthesis, and Learning","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003eEssays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday\u003cbr\u003eHis works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56282740195702,"sku":"9783030913830","price":56.37,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36203156_7f68a4cc-574e-4087-8d56-e0e048c4ed75.jpg?v=1758768328","url":"https:\/\/www.rarewaves.com\/products\/9783030913830-model-checking-synthesis-and-learning","provider":"Rarewaves.com","version":"1.0","type":"link"}