Skip recommendations
Showing 1 - 3 results of 3 for search 'Sitnikovski, Boro', query time: 0.01s Refine Results
Search Tools: Suscríbete a esta búsqueda
  1. 1
    Introduction to dependent types with Idris : encoding program proofs in types /
    by Sitnikovski, Boro
    Published 2023
    Texto completo (Requiere registro previo con correo institucional)
    Electronic eBook
  2. 2
    Introducing software verification with Dafny language : proving program correctness /
    by Sitnikovski, Boro
    Published 2022
    Texto completo (Requiere registro previo con correo institucional)
    Electronic eBook
  3. 3
    Introducing blockchain with Lisp : implement and extend blockchains with the Racket language /
    by Sitnikovski, Boro
    Published 2021
    Texto completo (Requiere registro previo con correo institucional)
    Electronic eBook