Check order status

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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Runtime Verification

Name: Runtime Verification
Brand: Springer, Berlin
SKU: 43913305
Price: 72.17 EUR
Availability: InStock
Author: Panagiotis Katsaros
ISBN: 9783031442667

23rd International Conference, RV 2023, Thessaloniki, Greece, October 4-6, 2023, Proceedings

Panagiotis Katsaros

Laura Nenzi

Language

English

Book Paperback

Libristo code: 43913305

Publishers Springer, Berlin, November 2022

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verif... Full description

Libristo code: 43913305

174 b

72.17 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

El cura que costo un papado Adelfa Martin

Paperback

9.81 €

Qu'est-Ce Que Le Creationnisme? Paul Clavier

Paperback

13.66 €

Občanské právo hmotné 3 Jan Dvořák

Paperback

18.52 €

Cabeciña a paxaros e outras historias GLORIA SANCHEZ

Paperback

12.44 €

Severin Egon Bondy

Paperback

8.80 €

Hrabia Monte Christo. Tom 2 Aleksander Dumas

Paperback

12.75 €

Erstellung eines Konzeptes zur Einführung eines Qualitätsmanagements für eine Steuerberatungsgesellschaft nach dem EFQM - Modell für Excellence Armin Baumgärtner

Paperback

42.81 €

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 4-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.