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

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)

Trier par:

37,10 € Total 37,11 €

37,10 € Total 37,11 €

Description (0)

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

Independently Published

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

29,65 €
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

CreateSpace Independent Publishing Platform

Machining Center Programming: A Guide To Mastering CNC Programming

123,77 €
Comparer 2 magasins 2 magasins
Choix en vedette
37,10 €
Voir l’offre