Introduction to Dependent Types with Idris: Encoding Program Proofs in Types - Boro Sitnikovski - Livres - APress - 9781484292587 - 18 mars 2023
Si la couverture et le titre ne correspondent pas, le titre est correct.

Boro Sitnikovski
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st edition

Prix
€ 33,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

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

157 pages, 139 Illustrations, black and white; XVIII, 157 p. 139 illus.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 18 mars 2023
ISBN13 9781484292587
Éditeurs APress
Pages 157
Dimensions 150 × 220 × 10 mm   ·   279 g
Langue et grammaire Anglais  

Plus par Boro Sitnikovski

Afficher tout

Voir tous les Boro Sitnikovski ( par ex. Paperback Book )