Skip recommendations
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Sitnikovski, Boro', tiempo de consulta: 0.01s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Introduction to dependent types with Idris : encoding program proofs in types /
    por Sitnikovski, Boro
    Publicado 2023
    Texto completo (Requiere registro previo con correo institucional)
    Electrónico eBook
  2. 2
    Introducing software verification with Dafny language : proving program correctness /
    por Sitnikovski, Boro
    Publicado 2022
    Texto completo (Requiere registro previo con correo institucional)
    Electrónico eBook
  3. 3
    Introducing blockchain with Lisp : implement and extend blockchains with the Racket language /
    por Sitnikovski, Boro
    Publicado 2021
    Texto completo (Requiere registro previo con correo institucional)
    Electrónico eBook