TLAToolbox-1.6.0-win32.win32.x86_64.zip

需积分: 9 0 下载量 16 浏览量 2020-02-03 11:11:23 上传评论收藏 153.65MB ZIP 举报

温馨提示

TLA+学习资料开发工具,windows平台TLAToolbox-1.6.0-win32.win32.x86_64.zip 如何用数学验证软件的正确性，TLA+开辟了一个全新的使用数理形式化方法。