發(fā)簡信
IP屬地：臺灣
-
-
-
如何用數學驗證軟件的正確性——TLA+學習總結作者：羅勝金版權聲明：歡迎轉載欠痴，請注明原作者 1. 前言 下文將總結我的TLA+技術學習心得，分為道（理論）秒咨、法（方法）斋否、術（技術）、器（工具）拭荤、用（案例）五個主要部分茵臭。 2...
-
程序員旦委。業(yè)余喜歡文學、書法雏亚、畫畫缨硝。
作者：羅勝金版權聲明：歡迎轉載欠痴，請注明原作者 1. 前言 下文將總結我的TLA+技術學習心得，分為道（理論）秒咨、法（方法）斋否、術（技術）、器（工具）拭荤、用（案例）五個主要部分茵臭。 2...
