{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-rigorous-engineering-of-collective-adaptive-systems-springer-international-publishing-ag-9783031751066-12th-international-symposium-isola-2024-crete-greece-october-27-31-2024-proceeding","title":"Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eLeveraging Applications of Formal Methods, Verification and Validation: Rigorous Engineering of Collective Adaptive Systems\u003c\/strong\u003e, authored by esteemed contributors from the 12th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2024). This comprehensive volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, spans \u003cstrong\u003e370 pages\u003c\/strong\u003e and provides a thorough exploration of the latest advancements in formal methods, verification, and validation techniques. Held in the picturesque setting of Crete, Greece, in October 2024, this symposium gathered leading experts to share their findings and foster discussions on the rigorous engineering of collective adaptive systems. Ideal for researchers and practitioners alike, this 2024 edition is a must-have for anyone looking to deepen their understanding of these essential methodologies in today’s technological landscape.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52262060228950,"sku":"9783031751066","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031751066.jpg?v=1767793392","url":"https:\/\/www.englishbook.fi\/products\/leveraging-applications-of-formal-methods-verification-and-validation-rigorous-engineering-of-collective-adaptive-systems-springer-international-publishing-ag-9783031751066-12th-international-symposium-isola-2024-crete-greece-october-27-31-2024-proceeding","provider":"Bookshop","version":"1.0","type":"link"}