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

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

Independently published

Pages: 197, Paperback, Independently published

Compare prices (1 shop)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	14,96 GBP	Go to shop

Similar products

Guía intermedia de Idris: Cómo crear aplicaciones con seguridad de tipos y verificadas con Idris
From 23,77 EUR
Guía intermedia roja: Cómo crear aplicaciones de alto nivel y sistemas de bajo nivel con Red: 11 (Colección de Lenguajes de Próxima Generación)
From 16,77 EUR
Guía intermedia de Lua: Cómo crear scripts de juegos y extender aplicaciones con Lua (Colección de Lenguajes de Próxima Generación)
From 23,72 EUR
Guía intermedia de Lua: Cómo crear scripts de juegos y extender aplicaciones con Lua: 48 (Colección de Lenguajes de Próxima Generación)
From 17,57 EUR
Guía intermedia roja: Cómo crear aplicaciones de alto nivel y sistemas de bajo nivel con Red (Colección de Lenguajes de Próxima Generación)
From 23,83 EUR
Los primeros días con tu cachorro: guía práctica para empezar bien: Cómo crear seguridad, hábitos y una convivencia equilibrada desde el primer día sin errores que generen problemas futuros
From 12,08 EUR