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

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,78 €
Comparer 2 magasins 2 magasins

Independently Published

Mastering MicroPython for Beginners: A Practical Guide to Programming Microcontrollers, Electronics, and IoT Projects

13,89 €
Comparer 2 magasins 2 magasins
Choix en vedette
37,10 €
Voir l’offre