这门课名字很misleading。其实好像跟logic和verification有关。

来源: whaled 于 2022-12-05 11:35:20 [档案] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)

回答: 看到bug catching，查了一下，原来是程序正确性由米汤于 2022-12-05 11:32:21

您的位置：文学城 » 论坛 » 子女教育 » 这门课名字很misleading。其实好像跟logic和verification有关。

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.