AGDA PROGRAMMING for MATHEMATICAL SOFTWARE: Dependently typed functional language research and teaching

Prix à partir de
11,79

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
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
11,79 €
3,00 €
14,79 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
11,79 €
3,00 €
14,79 €
Voir l’offre
3,00 € Shipping Costs
Description (1)

AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching

Spécifications du produit

Marque Independently Published
EAN
  • 9798269495729

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

HiTeX Press

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

37,10 €
Comparer 2 magasins 2 magasins

Morgan & Claypool

Verified Functional Programming in Agda

70,34 €
Plus d'informations Plus infos

Independently Published

Mastering Idris 2: Advanced Techniques in Dependently Typed Programming

35,86 €
Comparer 2 magasins 2 magasins

Independently Published

PURE programming LANGUAGE ESSENTIALS: Mathematical functional with GPU acceleration

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