Blockchain bevezetése LISP-vel: Blokkláncok megvalósítása és bővítése a Racket nyelvvel -...

Implementáljon blokkláncot a semmiből az összes részletre...

Szoftverellenőrzés bevezetése a Dafny nyelvvel: Programok helyességének bizonyítása - Introducing...

Ismerkedjen meg a szoftverellenőrzéssel és a...

Bevezetés a függő típusokba Idris-szel: Programbizonyítások kódolása típusokba - Introduction to...

A függő típusok egy olyan koncepció, amely...

Boro Sitnikovski szerző bemutatása:

Boro Sitnikovski szerző eddig megjelent könyvei: