Get Free Shipping on orders over $79
Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings - Erika Abraham
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

By: Erika Abraham (Editor), Houssam Abbas (Editor)

Paperback | 12 November 2024

At a Glance

Paperback


$89.99

or 4 interest-free payments of $22.50 with

 or 

Ships in 7 to 10 business days

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.

More in Algorithms & Data Structures

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schll
Learning Spark : Lightning-Fast Data Analytics - Brooke Wenig

RRP $152.00

$73.75

51%
OFF
Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch
Quick Data Structures : Quick Programming - David Matuszek
New Storytelling : Learning through Metaphors - Anna Ursyn

RRP $110.00

$96.75

12%
OFF
Applied Data Science in FinTech : Models, Tools, and Case Studies - Juraj Hric