Introducing Software Verification with Dafny Language Boro Sitnikovski의 도서 더 보기

Introducing Blockchain with Lisp

2021년

Introduction to Dependent Types with Idris

2023년