發(fā)簡信
IP屬地：浙江
-
-
-
如何用數(shù)學(xué)驗(yàn)證軟件的正確性——TLA+學(xué)習(xí)總結(jié)作者：羅勝金版權(quán)聲明：歡迎轉(zhuǎn)載受葛，請注明原作者 1. 前言 下文將總結(jié)我的TLA+技術(shù)學(xué)習(xí)心得题涨，分為道（理論）偎谁、法（方法）、術(shù)（技術(shù)）纲堵、器（工具）巡雨、用（案例）五個主要部分。 2...
-
程序員。業(yè)余喜歡文學(xué)茂附、書法正蛙、畫畫。
