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
Résultats connexes Résultats 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

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

74,65 €
Plus d'informations Plus infos

Independently Published

PURE programming LANGUAGE ESSENTIALS: Mathematical functional with GPU acceleration

12,70 €
Comparer 2 magasins 2 magasins

Independently Published

Functional Programming with Scala: Advanced Concepts and Applications for Robust Software Development

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