Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 1517, 2024, Proceedings | Agenda Bookshop Skip to content
Selected Colleen Hoover Books at €9.99c | In-store & Online
Selected Colleen Hoover Books at €9.99c | In-store & Online
Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
B01=Erika Ábrahám
B01=Houssam Abbas
Category1=Non-Fiction
Category=UMB
Category=UMC
Category=UMZ
Category=UYA
Category=UYQ
COP=Switzerland
Delivery_Pre-order
Language_English
PA=Not yet available
Price_€50 to €100
PS=Active
softlaunch

Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 1517, 2024, Proceedings

★★★★★
★★★★★

English

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.

The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.

See more
€59.84
€62.99
Save 5%
Age Group_Uncategorizedautomatic-updateB01=Erika ÁbrahámB01=Houssam AbbasCategory1=Non-FictionCategory=UMBCategory=UMCCategory=UMZCategory=UYACategory=UYQCOP=SwitzerlandDelivery_Pre-orderLanguage_EnglishPA=Not yet availablePrice_€50 to €100PS=Activesoftlaunch

Will deliver when available. Publication date 02 Nov 2024

Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 12 Oct 2024
  • Publisher: Springer International Publishing AG
  • Publication City/Country: Switzerland
  • Language: English
  • ISBN13: 9783031742330

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept