计算机术语“branching time temporal logic”的中英文意思、释义、翻译及用法-Macos计算机英汉词典

术语	branching time temporal logic
释义	branching time temporal logic 分支时间时态逻辑(电路)
随便看	minicomputer minicomputer crosscompilation minicomputer device controller minicrystal MINIDASD function minidiagnostic routine minidiode minidisk minidiskette miniemulator minification mini-flexible disc mini-floppy disk minifloppy disk drive minihost minilot minimal-access coding minimal automaton minimal computer load minimal cost path minimal divergence method minimal entropy coding minimality minimalization minimal latency programming

Macos计算机英汉词典包含84405条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。