Main image
Click to view image in fullscreen
![]()
Verified Software. Theories, Tools, and Experiments
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.
600,00 DH
Sur commande
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.
| ISBN / EAN | 9783319488684 |
|---|---|
| Editeur | Springer International Publishing AG |