Verified Functional Programming in Agda

Prix à partir de
76,40

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (1)

Description

Verified Functional Programming in Agda

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

Comparer les boutiques en ligne (1)

Trier par:

76,40 € Total 79,54 €

Description (0)

Verified Functional Programming in Agda

Spécifications du produit

Marque Morgan & Claypool Publishers
EAN
  • 9781970001242

Independently Published

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

11,79 €
Comparer 2 magasins 2 magasins

Manning Publications

Functional Programming in Scala

55,56 €
Comparer 2 magasins 2 magasins

Manning Publications

Functional Programming in C#

62,82 €
Plus d'informations Plus infos

Independently Published

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

12,64 €
Comparer 2 magasins 2 magasins
Choix en vedette
76,40 €
Voir l’offre