{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-verification-principles","title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles","description":"This 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;","brand":"EMKA","offers":[{"title":"Default Title","offer_id":53391344566603,"sku":"9783031198489","price":114.83,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/emka.si\/products\/leveraging-applications-of-formal-methods-verification-and-validation-verification-principles","provider":"EMKA","version":"1.0","type":"link"}