教師資料查詢 | 類別: 期刊論文 | 教師: 施國琛TIMOTHY K. SHIH (瀏覽個人網頁)

標題:Formal specification and verification in Z for syncchronous concurrent compution
學年83
學期1
出版(發表)日期1995/01/01
作品名稱Formal specification and verification in Z for syncchronous concurrent compution
作品名稱(其他語言)
著者Lin, Fuyau;施國琛; Shih, Timothy K.
單位淡江大學資訊工程學系
出版者
著錄名稱、卷期、頁數Journal of computer and software engineering 3(2), pp.217-237
摘要
關鍵字
語言英文(美國)
ISSN1069-5451
期刊性質國外
收錄於
產學合作
通訊作者
審稿制度
國別美國
公開徵稿
出版型式,紙本
相關連結
SDGs
Google+ 推薦功能,讓全世界都能看到您的推薦!