Yves Bertot
Articles populaires de Yves Bertot
Afficher toutes les offres-
Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions
Bertot, Yves; Castéran, Pierre
Prix des articles à partir de
Afficher les 39 offresEUR 30,13
