Home
Introducing Software Verification With Dafny Language by Boro Sitnikovski, Paperback | Indigo Chapters
Loading Inventory...
Introducing Software Verification With Dafny Language by Boro Sitnikovski, Paperback | Indigo Chapters
From Boro Sitnikovski
Current price: $48.50
![Introducing Software Verification With Dafny Language by Boro Sitnikovski, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9781484279779.jpg?scaleup=true&width=600&quality=85&lang=en)
![Introducing Software Verification With Dafny Language by Boro Sitnikovski, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9781484279779.jpg?scaleup=true&width=600&quality=85&lang=en)
From Boro Sitnikovski
Introducing Software Verification With Dafny Language by Boro Sitnikovski, Paperback | Indigo Chapters
Current price: $48.50
Loading Inventory...
Size: 1 x 9.25 x 0.54
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
Proving Program Correctness | Introducing Software Verification With Dafny Language by Boro Sitnikovski, Paperback | Indigo Chapters