28
1
0
31
写了 7725 字,被 44 人关注,获得了 33 个喜欢
wan9yu 编,251 篇文章,343 人关注
缘起 源于开源,回馈开源。致敬TensorFlow社区的所有开发者,让机器学习变得如此有趣。过去两年中,我在TensorFlow社区认识的众多小伙伴,这是我人生路上最珍贵的经...
写了 0 字,被 1137 人关注,获得了 754 个喜欢
写了 46841 字,被 347 人关注,获得了 419 个喜欢
写了 192404 字,被 948 人关注,获得了 671 个喜欢
写了 44369 字,被 215 人关注,获得了 147 个喜欢
写了 208865 字,被 507 人关注,获得了 307 个喜欢
写了 130520 字,被 321 人关注,获得了 266 个喜欢
写了 64661 字,被 2025 人关注,获得了 1041 个喜欢
写了 217620 字,被 1431 人关注,获得了 1293 个喜欢
写了 94459 字,被 1650 人关注,获得了 871 个喜欢
莉莉思_ 编,368 篇文章,3706 人关注
shenxiaoma 编,1594 篇文章,10264 人关注
写了 265188 字,被 3494 人关注,获得了 1960 个喜欢
写了 34638 字,被 135 人关注,获得了 125 个喜欢
写了 3351 字,被 13 人关注,获得了 15 个喜欢
👍厉害了
如何用数学验证软件的正确性——TLA+学习总结 作者:罗胜金版权声明:欢迎转载,请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得,分为道(理论)、法(方法)、术(技术)、器(工具)、用(案例)五个主要部分。 2... 罗胜金 14966 17 53
作者:罗胜金版权声明:欢迎转载,请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得,分为道(理论)、法(方法)、术(技术)、器(工具)、用(案例)五个主要部分。 2...
赞!
VV789 评论自如何用数学验证软件的正确性——TLA+学习总结