TLA+

レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第2部。

レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第1部。