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

Precios a partir de
35,10

Enlaces patrocinados

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)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

35,10 €

35,10 €

Descripción (0)

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

Especificaciones del producto

Marca NobleTrex 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 €
Más información Más info

Independently Published

Mastering STM32: A Practical Guide to Embedded Systems Programming with CubeIDE, HAL & FreeRTOS

24,10 €
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
Elección Destacada
35,10 €
Ver oferta