Verification, Induction, Termination Analysis (eBook, PDF)
Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Redaktion: Siegler, Simon; Wasser, Nathan
PAYBACK Punkte
20 °P sammeln!
Verification, Induction, Termination 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
