在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

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

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評論

      用戶評論
      評價:好評中評差評

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

      ?
      主站蜘蛛池模板: 亚洲成a人一区二区三区 | 十三以下岁女子毛片免费播放 | 色无五月| 无毒不卡在线播放 | 成人羞羞视频国产 | 污视频18高清在线观看 | 国产手机免费视频 | 欧美午夜在线视频 | 午夜在线播放视频在线观看视频 | 六月天婷婷 | 四虎看黄| 天天色综合2 | 天天拍天天干 | 一级毛片真人免费播放视频 | 亚洲高清一区二区三区 | 午夜免费啪在线观看视频网站 | 看黄色一级毛片 | 亚洲欧美日韩特级毛片 | 在线免费看高清视频大全 | 亚洲色图综合网 | 狠狠色噜噜狠狠狠狠米奇777 | 久久精品男人的天堂 | 四虎影院永久网址 | 婷婷六月久久综合丁香一二 | av2021天堂网手机版 | 国产人成午夜免费看 | 欧美一级看片a免费观看 | 在线天堂网 | julia一区二区三区中文字幕 | 91日本在线观看亚洲精品 | 国产一级片免费 | 色天使色婷婷在线影院亚洲 | 免费观看在线观看 | 201天天爱天天做 | 午夜黄色小视频 | 欧美极品第一页 | 老司机精品视频免费 | 国产三级日本三级韩国三级在线观看 | 日本黄色大片免费观看 | 91中文在线| 美国一级毛片免费看成人 |