Interactive Theorem Proving (eBook, PDF)
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Redaktion: Kaufmann, Matt; Paulson, Lawrence C.
Versandkostenfrei!
Sofort per Download lieferbar
72,95 €
inkl. MwSt.
PAYBACK Punkte
36 °P sammeln!
Interactive Theorem Proving (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
