LEAN TYPE THEORY HANDBOOK: Dependent Types Universes Inductive Families and Proof-Oriented Programming Explained

Prix à partir de
12,36

Liens sponsorisés

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

LEAN TYPE THEORY HANDBOOK: Dependent Types Universes Inductive Families and Proof-Oriented Programming Explained

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Liens sponsorisés · Certaines boutiques nous versent une rémunération

Trier par:

12,36 €

12,36 €

Description (0)

LEAN TYPE THEORY HANDBOOK: Dependent Types Universes Inductive Families and Proof-Oriented Programming Explained

Spécifications du produit

Marque Independently Published
EAN
  • 9798140538453

OmniScriptum

Bounded Quantification: Type theory, Object-oriented programming, Generic programming

134,72 €
Comparer 2 magasins 2 magasins

The MIT Press

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

52,33 €
Comparer 2 magasins 2 magasins

Cambridge University Press

Proof Theory and Logic Programming: Computation as Search

98,21 €
Plus d'informations Plus infos

Independently Published

CERTIFIED Programming and PROOF ASSISTANTS: Machine Checked Proofs Type Theory Functional Formally Verified Algorithms

12,70 €
Comparer 2 magasins 2 magasins
Choix en vedette
12,36 €
Voir l’offre