Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings - Erika Abraham

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
322 Pages

Dimensions(cm)
23.5 x 15.5 x 1.7

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Computer Science Artificial Intelligence Algorithms & Data Structures Compilers & Interpreters Mathematical Theory of Computation

More in Algorithms & Data Structures

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schull

Addiction by Design

Machine Gambling in Las Vegas

Paperback

RRP $39.99

$33.75

16%
OFF

Deep Learning Crash Course - Benjamin Midtvedt

Deep Learning Crash Course

Paperback

$92.75

The Man Who Solved the Market : How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019 - Gregory Zuckerman

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Paperback

RRP $26.99

$22.99

15%
OFF

Heuristic Algorithms Design : A Methodological Approach - Joe Oswald

Heuristic Algorithms Design

A Methodological Approach

Hardcover

$461.75

Artificial Intelligence Programming with Python : From Zero to Hero - Perry Xiao

Artificial Intelligence Programming with Python

From Zero to Hero

Paperback

RRP $65.95

$49.75

25%
OFF

Introduction to Machine Learning with Python : A Guide for Data Scientists - Andreas C. Mueller

Introduction to Machine Learning with Python

A Guide for Data Scientists

Paperback

RRP $114.00

$55.75

51%
OFF

Code Dependent : Living in the Shadow of AI - Madhumita Murgia

Code Dependent

Living in the Shadow of AI

Paperback

RRP $24.99

$21.75

13%
OFF

Learning Spark : Lightning-Fast Data Analytics - Brooke Wenig

Learning Spark

Lightning-Fast Data Analytics

Paperback

RRP $152.00

$73.75

51%
OFF

Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch

Python for Algorithmic Trading

From Idea to Cloud Deployment

Paperback

RRP $152.00

$73.75

51%
OFF

Code Dependent : Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction - Madhumita Murgia

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Paperback

RRP $36.99

$28.75

22%
OFF

Diversity-Driven Evolutionary Algorithms For Solving Engineering Problems - Sumika Chauhan

Diversity-Driven Evolutionary Algorithms For Solving Engineering Problems

Hardcover

$673.75

Fundamentals of Data Structures and Algorithms - Elvis C. Foster

Fundamentals of Data Structures and Algorithms

Hardcover

$418.75

Bioengineering and IoT : Shaping the Future of Healthcare - Jayashree Katti

Bioengineering and IoT

Shaping the Future of Healthcare

Hardcover

$384.75

Tiny Machine Learning Techniques for Constrained Devices - Ahmed A. Abd El-Latif

Tiny Machine Learning Techniques for Constrained Devices

Hardcover

$320.75

Ethics and Governance of Artificial Intelligence : Frameworks, Risks, and Society - Hemachandran K

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Paperback

RRP $210.00

$184.75

12%
OFF

Ethics and Governance of Artificial Intelligence : Frameworks, Risks, and Society - Hemachandran K

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Hardcover

RRP $173.00

$153.99

11%
OFF

Scheduling Variable Capacity Resources for Sustainability - Andrew A. Chien

Scheduling Variable Capacity Resources for Sustainability

Hardcover

RRP $210.00

$184.75

12%
OFF

Computer Science Why : Answers to Computer Science Questions They Don't Cover in Class - Christopher Little

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Paperback

RRP $75.99

$71.75

Computer Science Why : Answers to Computer Science Questions They Don't Cover in Class - Christopher Little

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Hardcover

RRP $305.00

$263.75

14%
OFF

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

Applied Data Science in FinTech

Models, Tools, and Case Studies

Hardcover

RRP $305.00

$263.75

14%
OFF

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

Applied Data Science in FinTech

Models, Tools, and Case Studies

Paperback

RRP $98.99

$88.75

10%
OFF

Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Hardcover

RRP $126.00

$114.75

Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Paperback

RRP $94.99

$85.75

10%
OFF

Python 3 Using DeepSeek - Oswald Campesato

Python 3 Using DeepSeek

Hardcover

$433.75