40,95 €
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
40,95 €
Als Download kaufen
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
20 °P sammeln
Andere Kunden interessierten sich auch für
![Verified Software. Theories, Tools, and Experiments (eBook, PDF)]( "Verified Software. Theories, Tools, and Experiments (eBook, PDF)")
Verified Software. Theories, Tools, and Experiments (eBook, PDF)40,95 €![Formal Methods and Software Engineering (eBook, PDF)]( "Formal Methods and Software Engineering (eBook, PDF)")
Formal Methods and Software Engineering (eBook, PDF)40,95 €![Dependable Software Engineering. Theories, Tools, and Applications (eBook, PDF)]( "Dependable Software Engineering. Theories, Tools, and Applications (eBook, PDF)")
Dependable Software Engineering. Theories, Tools, and Applications (eBook, PDF)40,95 €![Leveraging Applications of Formal Methods, Verification and Validation. Verification (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation. Verification (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation. Verification (eBook, PDF)40,95 €![Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (eBook, PDF)40,95 €![Leveraging Applications of Formal Methods, Verification and Validation. Modeling (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation. Modeling (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation. Modeling (eBook, PDF)40,95 €![Runtime Verification (eBook, PDF)]( "Runtime Verification (eBook, PDF)")
Runtime Verification (eBook, PDF)60,95 €
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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.