Verified Software: Theorie, Tools, Experiments
Stabilní cena
Aktuální cena je nejnižší za posledních 30 dní.
O produktu
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9783642541070
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
