LIBROS DEL AUTOR: boro sitnikovski

5 resultados para LIBROS DEL AUTOR: boro sitnikovski

boro sitnikovski Eliminar filtro Quitar filtros
  • Introduction to Dependent Types with Idris
    Boro Sitnikovski
    Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.The first part of the book serves as an introduction to the language’s underlying theories. ...
    Disponible

    42,23 €

  • Introduction to Dependent Types with Idris
    Boro Sitnikovski
    Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.The first part of the book serves as an introduction to the language’s underlying theories. ...
    Disponible

    48,38 €

  • Introducing Software Verification with Dafny Language
    Boro Sitnikovski
    Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny.  While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It’s the perfect primer for software programmers and devel...
    Disponible

    36,20 €

  • Introducing Blockchain with Lisp
    Boro Sitnikovski
    Implement blockchain from scratch covering all the details with Racket, a general-purpose Lisp. You’ll start by exploring what a blockchain is, so you have a solid foundation for the rest of the book. You’ll then be ready to learn Racket before starting on your blockchain implementation. Once you have a working blockchain, you’ll move onto extending it. The book’s appendices pr...
    Disponible

    48,46 €

  • Introducing Blockchain with Lisp
    Boro Sitnikovski
    Implement blockchain from scratch covering all the details with Racket, a general-purpose Lisp. You’ll start by exploring what a blockchain is, so you have a solid foundation for the rest of the book. You’ll then be ready to learn Racket before starting on your blockchain implementation. Once you have a working blockchain, you’ll move onto extending it. The book’s appendices pr...
    Disponible

    55,90 €