{"product_id":"runtime-verification-springer-international-publishing-ag-9783031742330-24th-international-conference-rv-2024-istanbul-turkey-october-15-17-2024-proceedings","title":"Runtime Verification","description":"\u003cp\u003eDiscover the latest advancements in software verification with \u003cstrong\u003eRuntime Verification\u003c\/strong\u003e, the official proceedings of the 24th International Conference on Runtime Verification, RV 2024. This essential volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2024, features a comprehensive collection of 11 full papers, 5 short papers, and 2 tool papers, all meticulously reviewed and selected from 31 submissions. Spanning 304 pages, this paperback edition offers invaluable insights into the evolving landscape of runtime verification, making it a must-have for researchers and practitioners alike. Immerse yourself in cutting-edge discussions and methodologies that will shape the future of software reliability. Don't miss out on this pivotal resource for anyone interested in the intersection of software engineering and formal methods.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52257777680726,"sku":"9783031742330","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031742330.jpg?v=1767787946","url":"https:\/\/www.englishbook.fi\/products\/runtime-verification-springer-international-publishing-ag-9783031742330-24th-international-conference-rv-2024-istanbul-turkey-october-15-17-2024-proceedings","provider":"Bookshop","version":"1.0","type":"link"}