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

£41.15

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

Name: Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)
Brand: Springer
Price: 42.02 GBP
Availability: InStock

Algorithms

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 82 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £42 (59 days, 72.0%)

Price range: £41 - £42

Price levels: 2 different prices over 82 days

Description

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642407862
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Publication Date: 19 August 2013
Listed Since: 08 August 2013

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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)

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

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings: 2706 (Lecture Notes in Computer Science, 2706)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13703)

Essential Spectrum-based Fault Localization

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

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

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers: Volume . (Systems on Silicon, Volume .)

Proofreading and Editing in Student and Research Publication Contexts: International Perspectives (Routledge Research in Higher Education)

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Formal Methods, Informally: How to Write Programs That Work

Principles of Program Analysis

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)

Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996 (IFIP Advances in Information and Communication Technology)

The Creative Programmer

Principles of Functional Verification

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings: 10695 (Lecture Notes in Computer Science, 10695)

SVA: The Power of Assertions in SystemVerilog

Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

Understanding Programming Languages

Assertion-Based Design

Software Engineering and Methodology for Emerging Domains: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, ... in Computer and Information Science, 675)