Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319488684 - November 8, 2016
In case cover and title do not match, the title is correct

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2016 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

213 pages, 36 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 8, 2016
ISBN13 9783319488684
Publishers Springer International Publishing AG
Pages 199
Dimensions 155 × 235 × 12 mm   ·   3.34 kg
Language German  
Editor Blazy, Sandrine
Editor Chechik, Marsha

Mere med samme udgiver