Počet záznamov: 1
Type-Driven Development with Idris
Údaje o názve Type-Driven Development with Idris / aut. Edwin Brady Záhlavie-meno Brady, Edwin (Autor) Vyd.údaje New York: Manning, 2017 Fyz.popis 453 s. ISBN 978-1-61729-302-3 Edícia Software Development Predmet.heslá Idris input data output data programming pattern matching Krajina Spojené štáty, Spojené štáty americké Jazyk dok. angličtina Druh dok. AMG - monografia 
kniha
Čiar.kód Lokačná signatúra Signatúra Lokácia Dislokácia Info V* 53246/O-24406 Stavebná fakulta k.matematiky a deskriptívnej geometrie len prezenčne
Počet záznamov: 1