Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Prix à partir de
50,90
En vedette
|
50,90 € |
Voir l’offre
|
|
50,90 € |
Voir l’offre
|
| COMPARER TOUS LES MAGASINS EN LIGNE (2) | ||
Description
Amazon
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Comparer les boutiques en ligne (2)
Shop
Prix
Affranchissement
Prix total
Description
(1)
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Spécifications du produit
Résultats connexes
Choix en vedette
50,90 €
