Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected » książka
topmenu
Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected
ISBN-13: 9783319723075 / Angielski / Miękka / 2017 / 211 str.
Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected
ISBN-13: 9783319723075 / Angielski / Miękka / 2017 / 211 str.
cena 201,24
(netto: 191,66 VAT: 5%)
Najniższa cena z 30 dni: 192,74
(netto: 191,66 VAT: 5%)
Najniższa cena z 30 dni: 192,74
Termin realizacji zamówienia:
ok. 16-18 dni roboczych.
ok. 16-18 dni roboczych.
Darmowa dostawa!
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions.
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
