Presentazione dell'autore Boro Sitnikovski:

Libri pubblicati finora da Boro Sitnikovski:

Introduzione alla Blockchain con LISP: Implementare ed estendere le Blockchain con il linguaggio...

Apress

Implementare la blockchain da zero coprendo tutti...

Introduzione alla Blockchain con LISP: Implementare ed estendere le Blockchain con il linguaggio Racket - Introducing Blockchain with LISP: Implement and Extend Blockchains with the Racket Language

Introduzione alla verifica del software con il linguaggio Dafny: Dimostrare la correttezza dei...

Apress

Introducetevi alla verifica del software e alla...

Introduzione alla verifica del software con il linguaggio Dafny: Dimostrare la correttezza dei programmi - Introducing Software Verification with Dafny Language: Proving Program Correctness

Introduzione ai tipi dipendenti con Idris: codificare le prove dei programmi nei tipi - Introduction...

Apress

I tipi dipendenti sono un concetto che consente...

Introduzione ai tipi dipendenti con Idris: codificare le prove dei programmi nei tipi - Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)