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

单词	program correctness proof
释义	program correctness proof [计] 程序正确性证明
随便看	synthetic aperture optics synthetic aperture radar synthetic-aperture radar synthetic aperture radar antenna synthetic aperture radar (sar) synthetic-apertures synthetic aperture side-looking radar synthetic aperture sonar synthetic aperture sona(sas) synthetic apparatus for weld thermal cycle synthetic approach synthetic apriorism synthetic array synthetic asphalt synthetic asphalts synthetic atmosphere synthetic attar synthetic auxin synthetic auxins synthetic aviation fuel synthetic backup synthetic bag synthetic baking enamel synthetic baking enamel white synthetic-based 江入大荒流江势远连空江势鲸奔江南二十年江南依旧称佳丽江南几度梅花发江南北江南天阔江南天阔江南好じょーくじょーぜっとじよじよ【自余・爾余】じようじよう【滋養】じらいじらいじらい【地雷】じらい【爾来】