Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Engels
199

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.

0 | 0

  • : 9783319488684
  • : Engels
  • : Paperback
  • : 199
  • : november 2016
  • : 3343
  • : 235 x 155 x 12 mm.
  • : Programming and Software Engineering
  • : Computerprogrammering / softwareontwikkeling; Kunstmatige intelligentie (AI); Softwareontwikkeling; Vertaal- en vertolkingsprogramma‘s; Wiskundige systeemtheorie