Showing 1 - 2 results of 2 for search 'Sitnikovski, Boro. author', query time: 0.01s Refine Results
  1. 1
    Introduction to Dependent Types with Idris : Encoding Program Proofs in Types
    by Sitnikovski, Boro. author
    Published 2023
    eBook
  2. 2
    Introducing blockchain with Lisp : implement and extend blockchains with the Racket language
    Published 2021
    Other Authors: “…Sitnikovski, Boro, author…”
    eBook

Search Tools: