結構程序驗證的英文

• constructive program verification

• "結構" 英文翻譯：   structure; composition; cons ...
• "程序" 英文翻譯：   procedure
• "驗證" 英文翻譯：   test and verify; checking; p ...
• "程序驗證" 英文翻譯：   program validation; program verification; routine verification
• "微程序驗證" 英文翻譯：   microprogram validation
• "處理程序驗證" 英文翻譯：   processor verification
• "自動程序驗證" 英文翻譯：   automatic program verification
• "結構程序" 英文翻譯：   architecture; structural network; structure program
• "自動程序驗證程序" 英文翻譯：   automated program verifier
• "經典結構程序, 典型結構程序" 英文翻譯：   classical structured program
• "計算機程序驗證" 英文翻譯：   computer program verification
• "用戶程序驗證設施" 英文翻譯：   user program verification facility
• "自動程序驗證系統" 英文翻譯：   automatic program verification system
• "典型結構程序" 英文翻譯：   classical structured program
• "固有結構程序" 英文翻譯：   proper structured program
• "結構程序設計" 英文翻譯：   structural program designing; structure programming; structured programming
• "經典結構程序" 英文翻譯：   classical structured program
• "處理程序驗證, 處理機驗證" 英文翻譯：   processor verification
• "固定結構程序庫" 英文翻譯：   permanent structure library
• "塊結構程序語言" 英文翻譯：   block structured programming language
• "系統網絡結構程序" 英文翻譯：   snasystem network architecture program; system network architecture progeam
• "分程序結構程序設計語言" 英文翻譯：   block-structured programming language
• "重構程序結構變換程序" 英文翻譯：   reorganization program
• "工序驗證" 英文翻譯：   process validation
• "時序驗證" 英文翻譯：   timing verification