Boro Sitnikovski szerző bemutatása:

Boro Sitnikovski szerző eddig megjelent könyvei:

Blockchain bevezetése LISP-vel: Blokkláncok megvalósítása és bővítése a Racket nyelvvel -...
Apress
Implementáljon blokkláncot a semmiből az összes részletre...
Blockchain bevezetése LISP-vel: Blokkláncok megvalósítása és bővítése a Racket nyelvvel - Introducing Blockchain with LISP: Implement and Extend Blockchains with the Racket Language
Szoftverellenőrzés bevezetése a Dafny nyelvvel: Programok helyességének bizonyítása - Introducing...
Apress
Ismerkedjen meg a szoftverellenőrzéssel és a...
Szoftverellenőrzés bevezetése a Dafny nyelvvel: Programok helyességének bizonyítása - Introducing Software Verification with Dafny Language: Proving Program Correctness
Bevezetés a függő típusokba Idris-szel: Programbizonyítások kódolása típusokba - Introduction to...
Apress
A függő típusok egy olyan koncepció, amely...
Bevezetés a függő típusokba Idris-szel: Programbizonyítások kódolása típusokba - Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
<<
1
>>

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)