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