.

Informations importantes : Arrêt du Club R (13 août) et Cessation d'Activité (30 septembre)

En savoir plus.

Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group
ClubR
Person

Se connecter

Heart
Cart
Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group
ClubR
Person

Se connecter

Cart
  1. Accueil
  2. Livres
  3. Informatique
  4. Bertot yves

Bertot Yves

2 résultats

A propos de «Meilleures ventes»
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 à 179,82 €
Occasion dès 91,99 €

Voir le produit

icons / nav24 / chevron right
Interactive Theorem Proving And Program Development

Interactive Theorem Proving And Program Development

- Bertot, Yves / Livres en langue étrangère
  • Format: Broché
Neuf à 126,69 €
Occasion dès 90,62 €

Voir le produit

icons / nav24 / chevron right