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

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)