Get Free Shipping on orders over $89
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 5 to 7 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

Artificial Intelligence in Forecasting : Tools and Techniques - Preethi Nanjundan
Metaheuristic Algorithms : Theory and Practice - Gai-Ge Wang

RRP $94.99

$85.75

10%
OFF
Artificial Intelligence in Medicine - Thompson Stephan

RRP $73.99

$69.99

Contentious Data in Movement - Cristina Flesher Fominaya

RRP $83.99

$77.75

The Z Garbage Collector : In JDK 25 - Erik Osterlund

RRP $315.00

$271.99

14%
OFF
The Z Garbage Collector : In JDK 25 - Erik Osterlund

RRP $110.00

$96.75

12%
OFF
Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schll
Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch