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

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schull
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch
Fundamentals of Data Structures and Algorithms - Elvis C. Foster

RRP $380.00

$325.99

14%
OFF
Fundamentals of Data Structures and Algorithms - Elvis C. Foster

RRP $158.00

$141.75

10%
OFF
The Metaverse : Hype or Hoax? - Kapil Sharma
Knowledge Graph and Semantic Web Technology based XAI - T. Poongodi