发简信
IP属地：安徽
-
-
-
如何用数学验证软件的正确性——TLA+学习总结作者：罗胜金版权声明：欢迎转载，请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得，分为道（理论）、法（方法）、术（技术）、器（工具）、用（案例）五个主要部分。 2...
-
程序员。业余喜欢文学、书法、画画。
作者：罗胜金版权声明：欢迎转载，请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得，分为道（理论）、法（方法）、术（技术）、器（工具）、用（案例）五个主要部分。 2...
