热度排名 #2186

莱斯利·兰波特：用数学和 TLA⁺ 描述程序

How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019

把程序写成一组状态与状态之间的转移。可从一个只有两种状态的小系统开始，先列出允许发生的步骤，再写出每一步都应保持的性质，体会规约如何帮助推理。

ZME Science · 1 串讨论 · 热度 1

讨论出处