Acheter maintenant et ramasser en magasin

  • Introduction to Dependent Types with Idris
Aperçu gratuit du livre Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Boro Sitnikovski
18 mars 2023
41,99 $ Réduction sur le prix courant 51,91 $ à
Prix en ligne. Les prix et les offres peuvent différer en magasin.
.
Commande minimum de  1 articles
Vente ferme. Aucun retour ou échange.
La livraison de cet article sera effectuée sur rendez-vous par notre transporteur partenaire.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Acheter le livre numérique
Obtenez null points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
Publié par: Apress
Dimensions à l’expédition: null
ISBN: 9781484292594
Étape de vie: null

Vous aimerez peut-être aussi

Cotes et évaluations

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 6ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 5C5041C3-E738-4D1C-9E19-7B0AC9C2DB93
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
https://dynamic.indigoimages.ca/v1/books/books/1484292588/1.jpg
45.5
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/c7fb49ec-3f50-48f4-b89c-14384c3eaedf/300/300/False/image.jpg
51.91