Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Editat de Ruzica Piskac et al.
24 noi 2018
Paperback
Preț: 335.69 lei 419.61 lei
6-8 săpt.
-20%