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
