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

Precios a partir de
37,10

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

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

Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (2)

Ordenar por:

37,10 €

37,10 €

Descripción (0)

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

Especificaciones del producto

Marca HiTeX Press
EAN
  • 9798896650058

Independently Published

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

29,22 €
Comparar 2 tiendas 2 tiendas

Independently Published

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

179,06 €
Comparar 2 tiendas 2 tiendas

Independently Published

Mastering VBScript Programming: A Complete Guide to Windows Automation, Scripting Techniques, System...

25,96 €
Comparar 2 tiendas 2 tiendas

Independently Published

Mastering Claude Code Handbook: A Practical Guide to AI-Assisted Programming, Automation, and...

27,27 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
37,10 €
Ver oferta