Get Free Shipping on orders over $89
Runtime Verification : 17th International Conference, RV 2017, Seattle, Wa, Usa, September 13-16, 2017, Proceedings - Giles Reger

Runtime Verification

17th International Conference, RV 2017, Seattle, Wa, Usa, September 13-16, 2017, Proceedings

By: Giles Reger (Editor), Shuvendu Lahiri (Editor)

Paperback | 6 September 2017

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Systems Analysis & Design

Fundamentals of Software Architecture : A Modern Engineering Approach - Mark Richards
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Linux Pocket Guide : 4th Edition - Essential Commands - Daniel J. Barrett
Systems Analysis and Design : 12th edition - Harry J. Rosenblatt

RRP $169.95

$137.99

19%
OFF
Data-driven BIM for Energy Efficient Building Design : 1st Edition - Saeed Banihashemi
Business Driven Information Systems ISE : 9th Edition - Paige Baltzan
Spark : The Definitive Guide : Big Data Processing Made Simple - Bill Chambers
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
The AI Engineering Bootcamp : Build, Ship, Share - Greg Loughnane

RRP $107.95

$75.75

30%
OFF
Rust Atomics and Locks : Low-Level Concurrency in Practice - Mara Bos
Learning UML 2.0 : A Pragmatic Introduction to UML - Russell Miles

RRP $104.75

$83.80

20%
OFF
Implementing Domain-Driven Design - Vaughn Vernon

RRP $104.94

$81.75

22%
OFF