Faites connaître cet article à vos amis:
Certified Programming with Dependent Types Adam Chlipala
Prix
€ 59,99
Commandé depuis un entrepôt distant
Livraison prévue 6 - 14 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
Certified Programming with Dependent Types
Adam Chlipala
| 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 |
Voir tous les Adam Chlipala ( par ex. Book )