Viimati ilmunud raamatud https://www.kriso.ee Fri, 17 Mar 2023 00:00:00 GMT Fri, 17 Mar 2023 00:00:00 GMT Introduction to Dependent Types with Idris: Encoding Program Proofs in Types https://www.kriso.ee/introduction-dependent-types-idris-encoding-program-db-9781484292594e.html <a href="https://www.kriso.ee/introduction-dependent-types-idris-encoding-program-db-9781484292594e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Boro Sitnikovski<br>ISBN: 9781484292594<br> Kirjastus: APress<br> Formaat: PDF+DRM, Ilmumisaeg: 17-Mar-2023<br> Hind: 37,04 € https://www.kriso.ee/db/97814842925942e.html Fri, 17 Mar 2023 00:00:00 GMT Introduction to Dependent Types with Idris: Encoding Program Proofs in Types https://www.kriso.ee/introduction-dependent-types-idris-encoding-program-db-9781484292594e.html <a href="https://www.kriso.ee/introduction-dependent-types-idris-encoding-program-db-9781484292594e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Boro Sitnikovski<br>ISBN: 9781484292594<br> Kirjastus: APress<br> Formaat: EPUB+DRM, Ilmumisaeg: 17-Mar-2023<br> Hind: 37,04 € https://www.kriso.ee/db/97814842925946e.html Fri, 17 Mar 2023 00:00:00 GMT