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 Schll
Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Digital Minds 1.0 : AI Welfare, Ethics, and Beyond - Soenke Ziesche

RRP $252.00

$219.75

13%
OFF
Digital Minds 1.0 : AI Welfare, Ethics, and Beyond - Soenke Ziesche

RRP $103.00

$91.75

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

RRP $103.00

$91.75

11%
OFF
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye