Acest site necesită browser-ul să fie activat JavaScript.
Vă rugăm să activați JavaScript și să reîncărcați această pagină.
Site-ul necesită browser-ul pentru a activa cookie-urile pentru a se autentifica.
Vă rugăm să activați cookie-urile și reîncărcați această pagină.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KGInteractive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions
la comenzi de peste 199 lei
Conform Termeni și condiții
Parteneriat cu producători autorizați
Am aprecia părerea ta! Evaluați acest produs
Nu există comentarii de la alți utilizatori.
