Mettre en vente

Se connecter

Se connecter

Yves Bertot

2 résultats

Meilleures ventes

A propos de «Meilleures ventes»

Interactive Theorem Proving And Program Development

Interactive Theorem Proving And Program Development

- Bertot, Yves / Livres en langue étrangère

Format: Broché

Neuf à 107,35 €

Voir le produit

Vendez le vôtre

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions

- Bertot Yves / Livres Informatique

Format: Non Precisé

1 avis

Neuf à 150,13 €

Occasion dès 98,99 €

Voir le produit

Vendez le vôtre

Recherches populaires