Introducing Software Verification with Dafny Language: Proving Program Correctness
Sitnikovski, Boro
- 出版商: Apress
- 出版日期: 2022-03-01
- 售價: $1,360
- 貴賓價: 9.5 折 $1,292
- 語言: 英文
- 頁數: 152
- 裝訂: Quality Paper - also called trade paper
- ISBN: 1484279778
- ISBN-13: 9781484279779
海外代購書籍(需單獨結帳)
相關主題
商品描述
Introduction: Languages and SystemsChapter 1: Our First ProgramChapter 2: LogicChapter 3: ComputationChapter 4: Mathematical FoundationsChapter 5: ProofsChapter 6: SpecificationsChapter 7: Mathematical InductionChapter 8: Verification ExercisesChapter 9: Implementing a Formal SystemConclusionBibliographyAppendix A: Gödel's Theorems
