Leslie Lamport的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
Specifying Systems
Leslie Lamport
评分 9.3分
This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way
用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用
[美]莱斯利·兰伯特(Leslie Lamport)
评分 暂无
