{"product_id":"9783031197581-leveraging-applications-of-formal-method","title":"Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003e11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III\u003cbr\u003e\u003cp\u003eThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October\/November 2022. formal methods for distributed computing in future railway systems;\u003c\/p\u003e\n\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56282751271286,"sku":"9783031197581","price":65.57,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36202327_fcf4d1b2-7461-4141-ad74-7a57c6208906.jpg?v=1758767963","url":"https:\/\/www.rarewaves.com\/products\/9783031197581-leveraging-applications-of-formal-method","provider":"Rarewaves.com","version":"1.0","type":"link"}