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

Amazon Páginas: 425, Tapa blanda, HiTeX Press
Description Descripción
Product Specifications Especificaciones del producto
Related Products Productos relacionados
?>
Next
Previous

Comparar tiendas web (2)

Shop
Precio
Amazon Logo
37,10 €
Ver oferta
Amazon Marketplace Logo
37,10 €
Ver oferta
Descripción (1)

Páginas: 425, Tapa blanda, HiTeX Press

Especificaciones del producto

Marca HiTeX Press
EAN
  • 9798896650058

Precios actualizados por última vez el:

Independently Published

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

11,63 €
Comparar 2 tiendas 2 tiendas

Independently Published

Mastering Idris 2: Advanced Techniques in Dependently Typed Programming

79,81 €
Comparar 2 tiendas 2 tiendas

Majosta

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

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