ECN tlaplus-edu 返回
项目作者： prof-holanda

项目描述 ：
Educational resources about TLA+.
高级语言： TeX
项目地址: git://github.com/prof-holanda/tlaplus-edu.git
创建时间： 2020-09-29T23:17:59Z
项目社区：https://github.com/prof-holanda/tlaplus-edu
开源协议：Creative Commons Zero v1.0 Universal
下载


GCD_1647725450531.pdf
AlternateOneBitClock_1647725450577.pdf
ExperimentControl_1647725450611.pdf
GCD_1647725450632.pdf
HourClock_1647725450651.pdf
HourMinuteClock_1647725450701.pdf
MoneyTransfer_1647725450712.pdf
Therac25_1647725450735.pdf