semantic properties of programs. Lectures. • Introduction. Transition systems. The idea of structural operational semantics. Transition semantics of a ...
確定! 回上一頁