Výsledky vyhľadávania

Nájdených záznamov: 1  
Váš dotaz: Autor-kód záznamu = "^stu_us_auth 0098521^"
  1. Type-Driven Development with Idris / aut. Edwin Brady
    Brady Edwin 
    New York: Manning, 2017 . - 453 s.
    ISBN 978-1-61729-302-3
    Idris input data output data programming pattern matching
    monografia
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    SVF0100
    kniha

    kniha



  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.