Het boek is momenteel niet op voorraad
Boekbeoordeling
Meer over het boek
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.
Een boek kopen
Introducing Software Verification with Dafny Language, Boro Sitnikovski
- Taal
- Jaar van publicatie
- 2022
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.
- Titel
- Introducing Software Verification with Dafny Language
- Ondertitel
- Proving Program Correctness
- Taal
- Engels
- Auteurs
- Boro Sitnikovski
- Uitgever
- Apress
- Jaar van publicatie
- 2022
- Formaat
- Paperback
- Aantal pagina's
- 152
- ISBN13
- 9781484279779
- Reeks
- Beoordeling
- 3 van 5
- Aantekening
- 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.