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

Prix à partir de
37,10

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification
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
37,10 €
Gratuit
37,10 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
37,10 €
Gratuit
37,10 €
Voir l’offre
Gratuit Shipping Costs
Description (1)

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

Spécifications du produit

Marque HiTeX Press
EAN
  • 9798896650058

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

Independently Published

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

11,79 €
Comparer 2 magasins 2 magasins

Majosta

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

36,30 €
Comparer 2 magasins 2 magasins

Springer

Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification

30,49 €
Comparer 2 magasins 2 magasins

Independently Published

Mastering Honeywell Experian PKS Part 1:: A Practical Guide to DCS Programming and Configuration

181,64 €
Comparer 2 magasins 2 magasins
Choix en vedette
37,10 €
Voir l’offre