Představení autora Boro Sitnikovski:

Doposud vydané knihy od Boro Sitnikovski:

Představujeme blockchain pomocí jazyka LISP: Implementace a rozšíření blockchainu pomocí jazyka...
Apress
Implementujte blockchain od začátku a pokryjte...
Představujeme blockchain pomocí jazyka LISP: Implementace a rozšíření blockchainu pomocí jazyka Racket - Introducing Blockchain with LISP: Implement and Extend Blockchains with the Racket Language
Introducing Software Verification with Dafny Language: Představujeme ověřování softwaru pomocí...
Apress
Seznámíte se s ověřováním softwaru a dokazováním...
Introducing Software Verification with Dafny Language: Představujeme ověřování softwaru pomocí jazyka Dafny: Prokazování správnosti programu - Introducing Software Verification with Dafny Language: Proving Program Correctness
Úvod do závislých typů s Idrisem: Kódování důkazů programů v typech - Introduction to Dependent...
Apress
Závislé typy jsou konceptem, který vývojářům...
Úvod do závislých typů s Idrisem: Kódování důkazů programů v typech - Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
<<
1
>>

© Book1 Group - všechna práva vyhrazena.
Obsah těchto stránek nesmí být kopírován ani použit, a to ani částečně ani úplně, bez písemného svolení vlastníka.
Poslední úprava: 2024.11.08 20:25 (GMT)