Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23,, Paskevich, Andrei (ed.); Wies, Thomas (ed.), Springer

KIRJAUDU

ostoskori

avaa valikko

Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23,

Andrei Paskevich (ed.), Thomas Wies (ed.)

51,40 €

Springer
Sivumäärä: 211 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2017, 15.12.2017 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus