El libro está agotado actualmente
Valoración del libro
Más información sobre el 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.
Compra de libros
Introducing Software Verification with Dafny Language, Boro Sitnikovski
- Idioma
- Publicado en
- 2022
- product-detail.submit-box.info.binding
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nos falta tu reseña aquí
- Título
- Introducing Software Verification with Dafny Language
- Subtítulo
- Proving Program Correctness
- Idioma
- Inglés
- Autores
- Boro Sitnikovski
- Editorial
- Apress
- Publicado en
- 2022
- Formato
- Tapa blanda
- Páginas
- 152
- ISBN13
- 9781484279779
- Serie
- Calificación
- 3 de 5
- Descripción
- 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.