作者：羅勝金版權聲明：歡迎轉載，請注明原作者 1. 前言 下文將總結我的TLA+技術學習心得，分為道（理論）、法（方法）、術（技術）庙睡、器（工具）、用（案例）五個主要部分。 2...
發(fā)簡信
IP屬地：臺灣
-
如何用數(shù)學驗證軟件的正確性——TLA+學習總結
作者：羅勝金版權聲明：歡迎轉載，請注明原作者 1. 前言 下文將總結我的TLA+技術學習心得，分為道（理論）、法（方法）、術（技術）庙睡、器（工具）、用（案例）五個主要部分。 2...