Specification and Proof in Real−time CSP

書目詳細資料
主要作者: Davies, J
格式: 圖書
出版: Cambridge University Press 1993