語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Formal methods (Computer scien
概要
作品:
5 作品在 5 項出版品 5 種語言
書目資訊
Integrated formal methods: 4th International Conference,IFM 2004
by:
(書目-語言資料,印刷品)
FME 2003:formal methods:International Symposium of Formal Methods Europe
by:
(書目-語言資料,印刷品)
Teaching formal methods: CoLogNET/FME Symposium,TFM 2004,Ghent,Belgium,November 2004:proceedings
by:
(書目-語言資料,印刷品)
Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on ...
by:
(書目-語言資料,印刷品)
Formal aspects of security:first international conference,FASec 2002,London,UK,...
by:
(書目-語言資料,印刷品)
主題
Formal methods (Computer scien
Formal methods (Computer scien
Computer software-Development
System design-Mathematics-Cong
Formal methods (Computer scien
Temporal automata - Congresses
Formal methods (Computer scien
Computer simulation - Congress
Computer security - Congresses
Formal methods (Computer scien
處理中
...
變更密碼
登入