Il libro è attualmente esaurito
Valutazione del libro
Maggiori informazioni sul libro
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.
Acquisto del libro
Introducing Software Verification with Dafny Language, Boro Sitnikovski
- Lingua
- Pubblicato
- 2022
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.