Automated Technology for Verification and Analysis (eBook, PDF)
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Redaktion: Bouajjani, Ahmed; Chin, Wei-Ngan
PAYBACK Punkte
20 °P sammeln!
Automated Technology for Verification and Analysis (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
