循環(huán)結(jié)構(gòu)的形式化推導(dǎo)
所屬分類：技術(shù)論文
上傳者：aet
文檔大小：368 K
所需積分：0分積分不夠怎么辦？
文檔介紹：介紹了Dijkstra的形式化推導(dǎo)方法的主要思想、步驟及要點(diǎn)。該方法主張程序開發(fā)和程序證明同時(shí)進(jìn)行，先確定好描述程序功能的斷言，再通過形式化方法推導(dǎo)出正確的程序。選擇具有代表性的循環(huán)結(jié)構(gòu)的實(shí)例進(jìn)行推導(dǎo)證明，并對(duì)循環(huán)結(jié)構(gòu)的形式化推導(dǎo)進(jìn)行闡述說明。
現(xiàn)在下載
VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： www.11yinyuan.com| 国产aⅴ无码专区亚洲av| 久久99精品久久久久婷婷| 激情亚洲的在线观看| 吃女邻居丰满的奶水在线观 | 日本动漫h在线| 亚洲AV无码一区二区三区网站| 精品国产一区二区三区AV性色 | www中文字幕在线观看| 最新国产三级在线观看不卡| 免费播放美女一级毛片| 国产叼嘿久久精品久久| 大ji巴想cao死你高h男男| 久久亚洲精品无码aⅴ大香| 欧美高清性色生活片免费观看| 国产三级日产三级日本三级| 477777开奖现场老玩家| 成人午夜精品无码区久久| 久久久香蕉视频| 日韩欧美一区二区三区在线| 亚洲砖码砖专无区2023| 翁虹一级毛片手机观看 | 久久婷婷五夜综合色频| 最新国产精品好看的国产精品| 亚洲国产av无码专区亚洲av| 欧美精品黑人粗大| 另类一区二区三区| 色偷偷亚洲男人天堂| 国产精品v欧美精品∨日韩| 69福利视频一区二区| 国产麻豆剧传媒精在线播放| 中文字幕av高清片| 摸进她的内裤里疯狂揉她动图视频| 久久国产美女免费观看精品| 日韩欧美亚洲国产精品字幕久久久| 乱人伦一区二区三区| 波多野结衣与上司出差| 午夜看一级特黄a大片| 麻豆文化传媒精品免费网站| 强制邻居侵犯456在线观看| 久久精品国产亚洲av日韩|