Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Paperback, 1st ed. 2022) Loot Price: R2,032

Discovery Miles 20 320

Repayment Terms: R190 pm x 12*

Add to cart

Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Paperback,...

Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Paperback, 1st ed. 2022)

Thao Dang, Volker Stolz

Series: Lecture Notes in Computer Science, 13498

(sign in to rate)

Loot Price R2,032 Discovery Miles 20 320 | Repayment Terms: R190 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 13498
Release date:	September 2022
First published:	2022
Editors:	Thao Dang • Volker Stolz
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	347
Edition:	1st ed. 2022
ISBN-13:	978-3-03-117195-6
Categories:	Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	3-03-117195-0
Barcode:	9783031171956