Introducing Blockchain with Lisp المزيد من كتب Boro Sitnikovski

Introduction to Dependent Types with Idris Introduction to Dependent Types with Idris
٢٠٢٣
Introducing Software Verification with Dafny Language Introducing Software Verification with Dafny Language
٢٠٢٢