Formal methods (Computer science)

概要
作品: 147 作品在 105 項出版品 105 種語言
書目資訊
Dynamic logic by: (書目-語言資料,印刷品)
Validated Designs for Object-oriented Systems by: (書目-語言資料,印刷品)
Challenges for action theories by: (書目-語言資料,印刷品)
更多
主題
 
 
變更密碼
登入