Verified Software. Theories, Tools, and Experiments
Stabilní cena
Cenu sledujeme od 1. 10. 2026 a zatím se drží na 1 336 Kč.
O produktu
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.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9783319488684
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
