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) - Image 1

£41.15

Springer 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)

Name: 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)
Brand: Springer
Price: 43.64 GBP
Availability: InStock

Careers

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 82 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £42 (36 days, 43.9%)

Price range: £41 - £44

Price levels: 3 different prices over 82 days

Description

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3319723073
Category: Books > Subjects > Business, Finance & Law > Careers
Domain: Amazon UK
Release Date: 15 December 2017
Listed Since: 09 November 2017

Barcode

No barcode data available

Springer 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)

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)

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

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)

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

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

SVA: The Power of Assertions in SystemVerilog

Principles of Functional Verification

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

Post-Silicon and Runtime Verification for Modern Processors

Assertion-Based Design

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

Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings: 7781 (Lecture Notes in Computer Science, 7781)

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, ... (Lecture Notes in Computer Science, 13071)

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

Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

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)

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Software Quality Assurance: Integrating Testing, Security, and Audit (Security, Audit and Leadership Series)

The e Hardware Verification Language (Information Technology: Transmission, Processing & Storage)

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

Evaluation of Novel Approaches to Software Engineering: 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected ... in Computer and Information Science, 703)

Socio-Technical Aspects in Security and Trust: 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers: 12812 (Lecture Notes in Computer Science, 12812)

Essential Spectrum-based Fault Localization