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)

shop Price Action
23,77 GBP Go to shop

Similar products