英语词汇“program correctness proof”的翻译、意思、用法、释义-英汉双解词典-注文网

网站首页日语词典汉语词典英语词典

单词	program correctness proof
释义	program correctness proof [计] 程序正确性证明
随便看	radio control radiocontrol radio control and metering service radio control box radio control central radio control desk radio control landing radio-controlled radio controlled radio controlled aerial-navigation radio controlled aerial target radio controlled aeroplane radio-controlled aircraft radio-controlled aircrafts radio-controlled bomb radio-controlled buoy radio-controlled car radio-controlled cars radio controlled flight radio-controlled flight radio-controlled missile radio-controlled model radio-controlled parachute radio-controlled plane radio-controlled radar 孔子登东山而小鲁，登泰山而小天下。孔子绝粮陈、蔡，孟轲困于齐、梁，非时君主不用善也，才下知浅，不能用大才也。夫能御骥騄 (lu路)者，必王良也；能臣禹、稷、皋陶者，必尧、舜也。孔子至圣，母墓毁而不修；梁鸿至贤，父亡席卷而葬。孔子解疑孔子言 “思无益，不如学”，而近儒惟昼读夜思，笔之书册，却弃孔门所 “学而时习”之六德、六行、六艺不为，是专为其无益，而废其有益矣。孔子门前卖孝经孔子面前卖《孝经》孔子面前卖文章孔席不暖，墨突不黔孔德之容，唯道是从。歯の抜けたよう歯の根が合わない歯ぶらし歯みがき歯むかう歯を食いしばる歯イレ歯ガミ歯ガユイ歯ギシリ