Guía intermedia de Idris: Cómo crear aplicaciones con seguridad tipos y verificadas Idris

1/1
Afbeelding van Guía intermedia de Idris: Cómo crear aplicaciones con seguridad tipos y verificadas Idris
Bol
Prijzen vanaf
18,00

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Guía intermedia de Idris: Cómo crear aplicaciones con seguridad tipos y verificadas Idris

Description Beschrijving
Product Specifications Productspecificaties
Price History Prijshistorie
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 18,00

€ 19,00 Totaal € 21,99

Beschrijving (0)

Guía intermedia de Idris: Cómo crear aplicaciones con seguridad tipos y verificadas Idris

Productspecificaties

Merk Independently Published
EAN
  • 9798273166509
Maat

Prijshistorie

* Prijshistorie bevat geen data van Amazon.

Prijzen voor het laatst bijgewerkt op:

Independently Published

Guía intermedia roja: Cómo crear aplicaciones de alto nivel y sistemas bajo con Red

20,12
Vergelijk 2 shops 2 shops

Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional

19,07
Vergelijk 2 shops 2 shops

Programación profesional de Idris: Cómo diseñar sistemas confiables con tipos dependientes a gran escala

19,07
Vergelijk 2 shops 2 shops

Independently Published

Guía intermedia de Nim: Cómo aplicar Nim en aplicaciones prácticas y alto rendimiento

21,19
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
18,00
Naar shop