Introducing Blockchain with Lisp
Autor Boro Sitnikovski
9 apr 2021
Paperback
Preț: 242.65 lei 303.31 lei
3-5 săpt.
-20%
Boro Sitnikovski
Introducing Software Verification with Dafny Language
Autor Boro Sitnikovski
mar 2022
Paperback
Preț: 146.45 lei 183.07 lei
3-5 săpt.
-20%
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Autor Boro Sitnikovski
18 mar 2023
Paperback
Preț: 167.03 lei 208.79 lei
3-5 săpt.
-20%