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, Hardcover, Independently published

Compare prices (1 shop)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	23,77 GBP	Go to shop

Similar products

Guía intermedia de Idris: Cómo crear aplicaciones con seguridad de tipos y verificadas con Idris
From 14,96 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