Description: Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, ISBN 3031171950, ISBN-13 9783031171956, Like New Used, Free shipping in the US This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. 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.
Price: 96.09 USD
Location: Jessup, Maryland
End Time: 2024-12-16T09:17:48.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Runtime Verification : 22nd International Conference, RV 2022, Tb
Number of Pages: Xii, 347 Pages
Language: English
Publication Name: Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
Publisher: Springer International Publishing A&G
Subject: Software Development & Engineering / General, General
Publication Year: 2022
Type: Textbook
Item Weight: 19.6 Oz
Subject Area: Mathematics, Computers
Item Length: 9.3 in
Author: Volker Stolz
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
