书籍介绍
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
目录
Why Use logic? Why Prove Programs Correct?
Propositions
Reasoning using Equivalence Transformations
A Natural Deduction System
Predicates
显示全部
用户评论
null
收藏