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...
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...
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 -...
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
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)