Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Language EnglishEnglish
E-book Adobe ePub DRM
Publishers Springer, October 2024
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verif... Full description
? points 161 b
66.72 €
In stock Immediate digital delivery

Customers also purchased

Ambulante Pflege in der modernen Gesellschaft Ruth Ketzer / Book Paperback
common.buy 35.03 €
Zirkua Susaeta / Book Hardback
common.buy 7.28 €
Llyfr Hymnau y Methodistiaid Calfinaidd: Cyhoeddedig Trwy Awdurdod Cymanfa Gyffredinol y Cyfundeb Yn Nghymru Howell Powell / Book Paperback
common.buy 34.52 €
Muso Rosso. Il sogno americano di un indiano Lakota Guido Sgardoli / Book Paperback
common.buy 18.62 €
E-Publishing-Management Thilo Busching / E-book Adobe ePub DRM
common.buy 26.72 €
Balas y palabras: Narrativa colombiana del sicario (1988-2023) Palacios Edwin Leonardo Florez Palacios / E-book Adobe ePub DRM
common.buy 72.49 €
Samivel Sophie Cuenot / Book Hardback
common.buy 66.92 €
Marrakech En quelques jours 9ed Lonely Planet / Book Paperback
common.buy 13.66 €
Shimaguni. Atlas narrado de las islas de Japon Francesca Scotti / E-book Adobe ePub DRM
common.buy 13.15 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Runtime Verification
Author Erika Abraham, Houssam Abbas
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2024
EAN 9783031742347
Libristo code 47700645
Publishers Springer

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Addiction Psychiatric Medicine Hector Colón-Rivera / Book Paperback
common.buy 75.43 €
Britney Spears Oracle Kara Nesvig / Printed items Cards
common.buy 15.38 €
Acadia Panorama Alan Nyiri / E-book Adobe ePub DRM
common.buy 20.14 €
Bait and Switch Barbara Ehrenreich / Audiobook MP3
common.buy 20.14 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?