Some general conditions under which the specification of a concurrent system can be expressed as the conjunction of specifications for its component ...
確定! 回上一頁