Introducing Software Verification with Dafny Language: Proving Program Correctness
Autor Boro Sitnikovski
mar 2022
Paperback
Preț: 145.10 lei 181.37 lei
3-5 săpt.
-20%
Boro Sitnikovski
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%
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language
Autor Boro Sitnikovski
9 apr 2021
Paperback
Preț: 240.80 lei 301.01 lei
3-5 săpt.
-20%