Andere Kunden interessierten sich auch für
![Verified Software. Theories, Tools, and Experiments]( "Verified Software. Theories, Tools, and Experiments")
Verified Software. Theories, Tools, and Experiments37,99 €![Automated Deduction ¿ CADE 27]( "Automated Deduction ¿ CADE 27")
Automated Deduction ¿ CADE 2759,99 €![Logic-Based Program Synthesis and Transformation]( "Logic-Based Program Synthesis and Transformation")
Logic-Based Program Synthesis and Transformation37,99 €![Dependable Software Engineering. Theories, Tools, and Applications]( "Dependable Software Engineering. Theories, Tools, and Applications")
Dependable Software Engineering. Theories, Tools, and Applications37,99 €![Interactive Theorem Proving]( "Interactive Theorem Proving")
Interactive Theorem Proving66,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems]( "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems")
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems37,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Verification]( "Leveraging Applications of Formal Methods, Verification and Validation. Verification")
Leveraging Applications of Formal Methods, Verification and Validation. Verification37,99 €
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
The 19 full papers presented were carefully revised and selected from 24 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.
The 19 full papers presented were carefully revised and selected from 24 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.