{"product_id":"runtime-verification-springer-international-publishing-ag-9783031171956-22nd-international-conference-rv-2022-tbilisi-georgia-september-28-30-2022-proceedings-thao-dang","title":"Runtime Verification","description":"\u003cp\u003eExplore the cutting-edge field of Runtime Verification with this comprehensive collection edited by Thao Dang, published by Springer International Publishing AG in 2022. This first edition, spanning 347 pages, presents the refereed proceedings from the 22nd International Conference on Runtime Verification, held in Tbilisi, Georgia, from September 28-30, 2022.\u003c\/p\u003e \n\n\u003cp\u003eInside, you will find 12 meticulously reviewed regular papers and 10 insightful short papers, selected from a competitive pool of 40 submissions. Each contribution offers valuable insights and advancements in the realm of runtime verification, making this book an essential resource for researchers, practitioners, and students interested in this dynamic area of study.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of runtime verification concepts and applications with this authoritative text, perfect for anyone looking to deepen their knowledge in the field.\u003c\/p\u003e","brand":"Thao Dang","offers":[{"title":"Default Title","offer_id":52261174903126,"sku":"9783031171956","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031171956.jpg?v=1767792231","url":"https:\/\/www.englishbook.pt\/products\/runtime-verification-springer-international-publishing-ag-9783031171956-22nd-international-conference-rv-2022-tbilisi-georgia-september-28-30-2022-proceedings-thao-dang","provider":"Bookshop","version":"1.0","type":"link"}