Ebooks de Boro Sitnikovski en PDF et EPUB

3 Livre(s)
Télécharger le livre : Introduction to Dependent Types with Idris
Ajouter à ma liste d'envies
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...

Editeur : Apress
Parution : 2023-03-17

PDF, ePub

36,47 €
Télécharger le livre : Introducing Software Verification with Dafny Language
Ajouter à ma liste d'envies
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...

Editeur : Apress
Parution : 2022-02-28

PDF, ePub

34,50 €
Télécharger le livre : Introducing Blockchain with Lisp
Ajouter à ma liste d'envies
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...

Editeur : Apress
Parution : 2021-04-08

PDF, ePub

56,19 €