程序验证相关图书会按更新时间、出版时间和评分持续整理，适合从主题维度系统浏览。
The Science of Programming
David Gries
评分 9.3分
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
Event-B建模 系统和软件工程
评分 暂无
