日B视频 亚洲,啪啪啪网站一区二区,91色情精品久久,日日噜狠狠色综合久,超碰人妻少妇97在线,999青青视频,亚洲一区二卡,让本一区二区视频,日韩网站推荐

您好,歡迎來(lái)電子發(fā)燒友網(wǎng)! ,新用戶?[免費(fèi)注冊(cè)]

您的位置:電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

通過(guò)抽象程序證明復(fù)雜具體程序

大小:2.10 MB 人氣: 2017-12-29 需要積分:3

   描述了證明抽象程序和具體程序滿足一致性關(guān)系的方法.抽象程序使用抽象數(shù)據(jù)結(jié)構(gòu)(ADTs),如set,list,map及其上的操作,具體程序使用類C語(yǔ)言中的類型.抽象程序和具體程序一致性證明需要用戶給出抽象變量和具體變量的關(guān)系、抽象程序程序點(diǎn)和具體程序程序點(diǎn)的對(duì)應(yīng)關(guān)系,基于對(duì)應(yīng)關(guān)系,抽象程序和具體程序一致性證明可以分解,從而容易并可能自動(dòng)證明.

通過(guò)抽象程序證明復(fù)雜具體程序

非常好我支持^.^

(0) 0%

不好我反對(duì)

(0) 0%

      發(fā)表評(píng)論

      用戶評(píng)論
      評(píng)價(jià):好評(píng)中評(píng)差評(píng)

      發(fā)表評(píng)論,獲取積分! 請(qǐng)遵守相關(guān)規(guī)定!

      ?
      建宁县| 鹰潭市| 贵州省| 广河县| 安康市| 云阳县| 桦川县| 垦利县| 巫山县| 克拉玛依市| 南平市| 龙山县| 祁东县| 阿城市| 蒙自县| 铜陵市| 菏泽市| 咸阳市| 旬阳县| 富宁县| 泗水县| 洛扎县| 泸定县| 茌平县| 延庆县| 乌鲁木齐县| 津南区| 新晃| 唐海县| 类乌齐县| 永城市| 禄丰县| 晴隆县| 新龙县| 江油市| 贵溪市| 罗平县| 平利县| 静乐县| 同心县| 龙井市|