Vorstellung des Autors Boro Sitnikovski:

Bisher veröffentlichte Bücher von Boro Sitnikovski:

Einführung in Blockchain mit LISP: Implementieren und Erweitern von Blockchains mit der...
Apress
Implementieren Sie eine Blockchain von Grund auf und gehen Sie...
Einführung in Blockchain mit LISP: Implementieren und Erweitern von Blockchains mit der Racket-Sprache - Introducing Blockchain with LISP: Implement and Extend Blockchains with the Racket Language
Einführung in die Software-Verifikation mit der Sprache Dafny: Nachweis der Programmkorrektheit -...
Apress
Sie erhalten eine Einführung in die...
Einführung in die Software-Verifikation mit der Sprache Dafny: Nachweis der Programmkorrektheit - Introducing Software Verification with Dafny Language: Proving Program Correctness
Einführung in abhängige Typen mit Idris: Programmbeweise in Typen kodieren - Introduction to...
Apress
Abhängige Typen sind ein Konzept, das es Entwicklern...
Einführung in abhängige Typen mit Idris: Programmbeweise in Typen kodieren - Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
<<
1
>>