{"product_id":"margaria-tiziana-leveraging-applications-of-formal-methods-verification-and-validation-software-engineering-methodologies-12th-international-symposium-isola-2024-notes-in-computer-science-15222-band-15222-9783031753862","title":"Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... Notes in Computer Science, 15222, Band 15222)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53720984879446,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783031753862_1.jpg?v=1781771449","url":"https:\/\/www.momoxbooks.com\/products\/margaria-tiziana-leveraging-applications-of-formal-methods-verification-and-validation-software-engineering-methodologies-12th-international-symposium-isola-2024-notes-in-computer-science-15222-band-15222-9783031753862","provider":"momoxbooks","version":"1.0","type":"link"}