發(fā)簡信
IP屬地：云南
-
-
-
如何用數(shù)學(xué)驗證軟件的正確性——TLA+學(xué)習(xí)總結(jié)作者：羅勝金版權(quán)聲明：歡迎轉(zhuǎn)載，請注明原作者 1. 前言 下文將總結(jié)我的TLA+技術(shù)學(xué)習(xí)心得宏浩，分為道（理論）昆雀、法（方法）、術(shù)（技術(shù)）虐急、器（工具）箱残、用（案例）五個主要部分。 2...
-
程序員。業(yè)余喜歡文學(xué)敬惦、書法盼理、畫畫。
