Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Autor Boro Sitnikovski
18 mar 2023
Paperback
Preț: 174.88 lei 218.60 lei
3-5 săpt.
-20%
Boro Sitnikovski
Introducing Software Verification with Dafny Language: Proving Program Correctness
Autor Boro Sitnikovski
mar 2022
Paperback
Preț: 151.04 lei 188.80 lei
3-5 săpt.
-20%
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language
Autor Boro Sitnikovski
9 apr 2021
Paperback
Preț: 250.23 lei 312.78 lei
3-5 săpt.
-20%