跳至 : 概要 | 書目資訊 | 主題

Grumberg, Orna.

概要
作品: 1 作品在 0 項出版品 0 種語言
書目資訊
Logics and languages for reliability and security by: Grumberg, Orna.; Spanfelner, Bernd.; Workshop on the Preservation of Stability under Discretization ((2001 :); Esparza, Javier. (書目-語言資料,印刷品)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday / by: SpringerLink (Online service); Grumberg, Orna. (書目-語言資料,印刷品)
Software safety and security = tools for analysis and verification / by: NATO Emerging Security Challenges Division.; Workshop on the Preservation of Stability under Discretization ((2001 :); Nipkow, Tobias, (1958-); Hauptmann, Benedikt.; Grumberg, Orna. (書目-語言資料,印刷品)
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入