{"product_id":"9783031198489-leveraging-applications-of-formal-method","title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles","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 I\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":56282751861110,"sku":"9783031198489","price":94.95,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36194946.jpg?v=1758748814","url":"https:\/\/www.rarewaves.com\/products\/9783031198489-leveraging-applications-of-formal-method","provider":"Rarewaves.com","version":"1.0","type":"link"}