Si la couverture et le titre ne correspondent pas, le titre est correct.

Faites connaître cet article à vos amis:

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

Avez-vous un profil ? Connectez-vous

Recevez une notification pour les nouvelles sorties de Boro Sitnikovski

Nos clients disent :

Ajouter à votre liste de souhaits iMusic

Pas encore évalué

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

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