Grupo WhatsApp
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
Obras

Obras relacionadas

  • Introduction to Dependent Types with Idris
  • Introducing Software Verification with Dafny Language
  • Introducing Blockchain with Lisp
  • Gaštar

1 resultado

entre no grupo de ofertas!