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