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!
Verified Software: Theories, Tools, Experiments (eBook, PDF)
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
