Get Free Shipping on orders over $49
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

Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch
Python Using GPT-5 and Gemini - Oswald Campesato
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
AI Development : How Tech Leaders Can Build and Deploy Useful AI - Eva-Marie Muller-Stuler
Hacker's Delight - Henry Warren

RRP $97.60

$74.75

23%
OFF
Quick Data Structures : Quick Programming - David Matuszek
Ciphers, Fractals, and Fibonacci : Exploring Math with Python - John Lehet
Computational Intractability : A Guide to Algorithmic Lower Bounds - MohammadTaghi Hajiaghayi
Deep Learning with R, Third Edition - Tomasz Kalinowski