The book is currently out of stock
More about the book
The book offers an accessible introduction to software verification and correctness proof using Dafny, a programming language supported by Microsoft Research. Unlike other texts that are heavily mathematical, it emphasizes clear explanations in plain English, making it suitable for programmers and developers familiar with C# and similar languages. This approach aims to demystify complex concepts, providing a practical foundation for those looking to enhance their understanding of software correctness.
Book purchase
Introducing Software Verification with Dafny Language, Boro Sitnikovski
- Language
- Released
- 2022
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.