Présentation de l'auteur Boro Sitnikovski :

Livres publiés jusqu'à présent par Boro Sitnikovski :

Introduction à la blockchain avec LISP : implémenter et étendre les blockchains avec le langage...
Apress
Implémenter une blockchain à partir de zéro en...
Introduction à la blockchain avec LISP : implémenter et étendre les blockchains avec le langage Racket - Introducing Blockchain with LISP: Implement and Extend Blockchains with the Racket Language
Introduction à la vérification logicielle avec le langage Dafny : Prouver la correction d'un...
Apress
Initiez-vous à la vérification des logiciels et à la...
Introduction à la vérification logicielle avec le langage Dafny : Prouver la correction d'un programme - Introducing Software Verification with Dafny Language: Proving Program Correctness
Introduction aux types dépendants avec Idris : encoder des preuves de programmes dans des types -...
Apress
Les types dépendants sont un concept qui permet...
Introduction aux types dépendants avec Idris : encoder des preuves de programmes dans des types - Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
<<
1
>>