Yves Bertot
Artículos populares por Yves Bertot
Ver todas las ofertas-
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Castéran, Pierre; Bertot, Yves
Precios de los artículos a partir de
Ver 37 ofertasEUR 34,59
