Verified Software: Theories, Tools, Experiments (eBook, PDF)
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Redaktion: Leavens, Gary T.; Rajamani, Sriram K; O'Hearn, Peter
PAYBACK Punkte
20 °P sammeln!
Andere Kunden interessierten sich für
