Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Autor Boro Sitnikovski
18 mar 2023
Paperback
Preț: 168.23 lei 210.29 lei
3-5 săpt.
-20%
Boro Sitnikovski
Introducing Software Verification with Dafny Language: Proving Program Correctness
Autor Boro Sitnikovski
mar 2022
Paperback
Preț: 145.28 lei 181.60 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ț: 240.85 lei 301.07 lei
3-5 săpt.
-20%