Certified Programming with Dependent Types - Adam Chlipala - Livres - MIT Press - 9780262545747 - 7 juin 2022
Si la couverture et le titre ne correspondent pas, le titre est correct.

Adam Chlipala
Certified Programming with Dependent Types

Prix
€ 59,99

Commandé depuis un entrepôt distant

Livraison prévue 27 juil. - 4 août
Recevez une notification pour les nouvelles sorties de Adam Chlipala

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Médias Livres     Book
Validé 7 juin 2022
ISBN13 9780262545747
Éditeurs MIT Press
Pages 436
Dimensions 150 × 220 × 20 mm   ·   680 g
Langue et grammaire Anglais  

Plus d'ouvrages du même éditeur

Voir tous les Adam Chlipala ( par ex. Book )