Skip recommendations
Résultat(s) 1 - 3 résultats de 3 pour la requête 'Sitnikovski, Boro', Temps de recherche: 0,01s Affiner les résultats
Outils de recherche: Suscríbete a esta búsqueda
  1. 1
    Introduction to dependent types with Idris : encoding program proofs in types /
    par Sitnikovski, Boro
    Publié 2023
    Texto completo (Requiere registro previo con correo institucional)
    Électronique eBook
  2. 2
    Introducing software verification with Dafny language : proving program correctness /
    par Sitnikovski, Boro
    Publié 2022
    Texto completo (Requiere registro previo con correo institucional)
    Électronique eBook
  3. 3
    Introducing blockchain with Lisp : implement and extend blockchains with the Racket language /
    par Sitnikovski, Boro
    Publié 2021
    Texto completo (Requiere registro previo con correo institucional)
    Électronique eBook