Introducing Software Verification with Dafny Language
Autor Boro Sitnikovski
mar 2022
Paperback
Preț: 146.45 lei 183.07 lei
22-36 zile
-20%
Boro Sitnikovski
Introduction to Dependent Types with Idris
Autor Boro Sitnikovski
18 mar 2023
Paperback
Preț: 168.59 lei 210.73 lei
22-36 zile
-20%