Autor
Boro Sitnikovski
Boro Sitnikovski, engenheiro de software com mestrado em Informática, é autor de "Introducing Blockchain with Lisp". Com vasta experiência em programação e premiações em competições, sua carreira acadêmica focou em verificação formal e linguagens como Haskell. Sitnikovski contribui para a área com obras que exploram tecnologias emergentes e métodos de verificação de software.
1Livros encontrados
Editoras frequentes
Obras
Obras relacionadas
- Introduction to Dependent Types with Idris
- Introducing Software Verification with Dafny Language
- Introducing Blockchain with Lisp
- Gaštar
