51,97 € Livraison gratuite
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Prix à partir de
51,97
En vedette
|
|
51,97 € |
Voir l’offre
|
|
51,97 € |
Voir l’offre
|
| COMPARER TOUS LES MAGASINS EN LIGNE (2) | ||
Description
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Comparer les boutiques en ligne (2)
Trier par:
51,97 € Livraison gratuite
Boutiques avec d'autres tailles
Description
(0)
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Spécifications du produit
Résultats connexes
Choix en vedette
51,97 €
