Introducing Software Verification with Dafny Language
portes grátis
Introducing Software Verification with Dafny Language
Proving Program Correctness
Sitnikovski, Boro
APress
03/2022
131
Mole
Inglês
9781484279779
15 a 20 dias
244
Descrição não disponível.
Introduction: Languages and Systems.- Chapter 1: Our First Program.- Chapter 2: Logic.- Chapter 3: Computation.- Chapter 4: Mathematical Foundations.- Chapter 5: Proofs.- Chapter 6: Specifications.- Chapter 7: Mathematical Induction.- Chapter 8: Verification Exercises.- Chapter 9: Implementing a Formal System. Conclusion.- Bibliography.- Appendix A: Goedel's Theorems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Programming;Software;Dafny;Microsoft;verify;verification;bug;test;computational;source code;language;Visual Studio;C#
Introduction: Languages and Systems.- Chapter 1: Our First Program.- Chapter 2: Logic.- Chapter 3: Computation.- Chapter 4: Mathematical Foundations.- Chapter 5: Proofs.- Chapter 6: Specifications.- Chapter 7: Mathematical Induction.- Chapter 8: Verification Exercises.- Chapter 9: Implementing a Formal System. Conclusion.- Bibliography.- Appendix A: Goedel's Theorems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.