Chechik, Marsha (redaktør)

Verified Software. Theories, Tools, and Experiments e-bog

436,85 DKK (inkl. moms 546,06 DKK)

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference i...

E-bog 436,85 DKK

Kan læses i vores apps til iPhone/iPad og Android.

Forfattere Chechik, Marsha (redaktør)

Forlag Springer

Udgivet 7 november 2016

Genrer Computer programming / software engineering

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783319488691

Beskrivelse

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance thestate of the art through the interaction of theory development, tool evolution, and experimental validation.