product description page

Verified Software. Theories, Tools, and Experiments : 8th International Conference, Vstte 2016, Toronto,

MSRPReg: $72.00 Save $3.61 (5% off)
shipping not available
free order pickup not available
not sold at Manhattan Herald Square

about this item

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 the
state of the art through the interaction of theory development, tool evolution, and experimental validation.
Edition: Revised

more to consider

  • Very Pukka Murder : The First Maharajah Mystery (Paperback) (Arjin Gaind)


  • When We Say Father : Unlocking the Power of the Lord's Prayer - by Adrian Rogers & Steve Rogers


  • Warship Anne (Hardcover) (Richard Endsor)


  • Avalon High (Reprint) (Paperback) (Meg Cabot)


  • Walking Dead : The Official Cookbook and Survival Guide (Hardcover) (Lauren Wilson)



  • SheaMoisture® Mongongo & Hemp Seed Oils High Porosity Moisture-Seal Shampoo - 13 fl oz


  • 2018 TF Publishing Desk Calendar

  • Employment Discrimination (Paperback) (Joel Wm. Friedman)


  • Thousands : Poems (Paperback) (Lightsey Darst)


  • Love Print Throw Pillow Collection - Surya

    $20.99 - $27.99

from the manufacturer

guest reviews

Prices, promotions, styles and availability may vary by store & online. See our price match guarantee. See how a store is chosen for you.