proof of program correctness

英文 proof of program correctness

中文 程式正確性証明

出處電子計算機名詞

相關詞匯

最近瀏覽

▸ proof of program correctness

▸ electric gyrocompass

▸ luminaire for explosive gas atmospheres

▸ hot bulb ignition

▸ single frame

▸ shared subroutine

▸ axial-flow fan

▸ Zinc alloys/compounds, devices

▸ inverse move

▸ low-altitude forward-area air defense system{=Lofaads}

▸ scientific aptitude

▸ localized lighting

▸ safety criteria of blade vibration strength of steam turbine

▸ hoisting block

▸ Riccia canaliculata Hoffm.

▸ manganese-copper alloys

▸ Gignimentum penicillum Whitley，1933

　