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

Prix à partir de
49,32

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Description Description
Product Specifications Spécifications du produit
Related Products Produits connexes
?>
Next
Previous

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
49,32 €
Gratuit
49,32 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
49,32 €
Gratuit
49,32 €
Voir l’offre
Gratuit Shipping Costs
Description (1)

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

Spécifications du produit

Marque MIT Press
EAN
  • 9780262545747

Prix mis à jour pour la dernière fois le :

Independently Published

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale

18,03 €
Comparer 2 magasins 2 magasins

Independently Published

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale

27,03 €
Comparer 2 magasins 2 magasins

Independently Published

Idris for Beginners: How to Explore Dependent Types and Functional Programming

27,04 €
Comparer 2 magasins 2 magasins

Independently Published

Idris for Beginners: How to Explore Dependent Types and Functional Programming

18,03 €
Comparer 2 magasins 2 magasins
Choix en vedette
49,32 €
Voir l’offre