Yves Bertot
Articoli popolari di Yves Bertot
Visualizza tutte le offerte-
Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions
Bertot, Yves; CastTran, Pierre
Prezzi articolo a partire da
Visualizza 37 offerteEUR 34,59
