Description: Runtime Verification Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings Author(s): Shuvendu Lahiri, Giles Reger Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319675305, 978-3319675305 Synopsis This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 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 lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Price: 38.55 GBP
Location: Aldershot
End Time: 2024-11-08T09:04:53.000Z
Shipping Cost: 29.26 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Runtime Verification
Item Height: 235 mm
Item Width: 155 mm
Series: Lecture Notes in Computer Science
Author: Shuvendu Lahiri, Giles Reger
Publication Name: Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Format: Paperback
Language: English
Publisher: Springer International Publishing A&G
Subject: Computer Science
Publication Year: 2017
Type: Textbook
Item Weight: 6788 g
Number of Pages: 432 Pages
