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

Prix à partir de
12,64

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

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

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
12,64 €
3,00 €
15,64 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
12,64 €
3,00 €
15,64 €
Voir l’offre
3,00 € Shipping Costs
Description (0)

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798194154968

Morgan & Claypool Publishers

Verified Functional Programming in Agda

76,40 €
Plus d'informations Plus infos

Association of Computing Machinery,U.S.

Functional Data Structures and Algorithms: A Proof Assistant Approach

69,00 €
Comparer 2 magasins 2 magasins

Cambridge University Press

Proof Theory and Logic Programming: Computation as Search

77,56 €
Comparer 2 magasins 2 magasins

Apress

Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence

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