{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-reocas-colloquium-in-honor-of-rocco-de-nicola-springer-international-publishing-ag-9783031737084-12th-international-symposium-isola-2024-crete-greece-october-27-31-2024-proceedings-part","title":"Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola","description":"\u003cp\u003eDiscover the groundbreaking insights in \u003cstrong\u003eLeveraging Applications of Formal Methods, Verification and Validation: REoCAS Colloquium in Honor of Rocco De Nicola\u003c\/strong\u003e, edited by \u003cstrong\u003eTiziana Margaria\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2024, features 428 pages of valuable contributions from the 12th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2024), held in the picturesque setting of Crete, Greece, in October 2024. \u003c\/p\u003e \u003cp\u003eDelve into the latest advancements in formal methods and their applications in verification and validation. This collection not only honors the legacy of Rocco De Nicola but also serves as a crucial resource for researchers, practitioners, and students interested in the evolving landscape of formal methods. Enhance your understanding and explore the innovative ideas presented in this essential edition for 2025.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52262060884310,"sku":"9783031737084","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031737084.jpg?v=1767793395","url":"https:\/\/www.englishbook.pt\/products\/leveraging-applications-of-formal-methods-verification-and-validation-reocas-colloquium-in-honor-of-rocco-de-nicola-springer-international-publishing-ag-9783031737084-12th-international-symposium-isola-2024-crete-greece-october-27-31-2024-proceedings-part","provider":"Bookshop","version":"1.0","type":"link"}