Predstavenie autora Boro Sitnikovski:

Doterajšie vydané knihy od Boro Sitnikovski:

Predstavujeme blockchain pomocou jazyka LISP: Implementácia a rozšírenie blockchainov pomocou jazyka...

Apress

Implementujte blockchain od základov, pričom...

Predstavujeme blockchain pomocou jazyka LISP: Implementácia a rozšírenie blockchainov pomocou jazyka Racket - Introducing Blockchain with LISP: Implement and Extend Blockchains with the Racket Language

Predstavujeme verifikáciu softvéru s jazykom Dafny: Dokazovanie správnosti programu - Introducing...

Apress

Zoznámte sa s overovaním softvéru a dokazovaním...

Predstavujeme verifikáciu softvéru s jazykom Dafny: Dokazovanie správnosti programu - Introducing Software Verification with Dafny Language: Proving Program Correctness

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)