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

Prix à partir de
35,10

Liens sponsorisés

COMPARER TOUS LES MAGASINS EN LIGNE (1)

Description

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 (1)

Liens sponsorisés · Certaines boutiques nous versent une rémunération

Trier par:

35,10 € Total 35,11 €

Description (0)

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

Spécifications du produit

Marque NobleTrex Press
EAN
  • 9798896650058

Independently Published

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

11,79 €
Plus d'informations Plus infos

Independently Published

Mastering Cursor IDE: A Practical Guide to AI-Assisted Programming and Modern Software Development

29,65 €
Plus d'informations Plus infos

Independently Published

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

181,64 €
Plus d'informations Plus infos

CreateSpace Independent Publishing Platform

Machining Center Programming: A Guide To Mastering CNC Programming

123,77 €
Plus d'informations Plus infos
Choix en vedette
35,10 €
Voir l’offre