Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings: 10548 (Lecture Notes in Computer Science, 10548) - Image 1

£26.62

Springer Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings: 10548 (Lecture Notes in Computer Science, 10548)

Name: Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings: 10548 (Lecture Notes in Computer Science, 10548)
Brand: Springer
Price: 37.39 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 85 days • 85 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 85 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £31-34 (38 days, 44.7%)

Price range: £24 - £41

Price levels: 5 price ranges over 85 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3319675303
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 06 September 2017
Listed Since: 03 August 2017

Barcode

No barcode data available

Springer Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings: 10548 (Lecture Notes in Computer Science, 10548)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science, 4171)

Practical Design Verification

Static Analysis and Verification of Aerospace Software by Abstract Interpretation (Foundations and Trends (R) in Programming Languages)

Verification, Validation and Testing in Software Engineering

Springer - Formalization of Complex Analysis and Matrix Theory

System Verification: Proving the Design Solution Satisfies the Requirements

Formal Hardware Verification: Methods and Systems in Comparison: 1287 (Lecture Notes in Computer Science, 1287)

Formalization of Complex Analysis and Matrix Theory

Computer Aided Verification

Temporal Verification of Reactive Systems: Safety

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)

SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings: 8153 (Lecture Notes in Computer Science, 8153)

Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Standardized Functional Verification

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Professional Verification: A Guide to Advanced Functional Verification

Software Verification and Validation for Practitioners and Managers