语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Fault-tolerant computing
概要
作品:
3 作品在 3 项出版品 3 种语言
书目信息
Architecting dependable systems
by:
(书目-语言数据,印刷品)
Architecting dependable systems II
by:
(书目-语言数据,印刷品)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(书目-语言数据,印刷品)
主题
Computer systems - Reliability
Computer architecture
Fault-tolerant computing
Computer systems - Reliability
Computer architecture
Fault-tolerant computing
Software Engineering.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Operating Systems.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Fault-tolerant computing
Computer Science.
System analysis
处理中
...
变更密码
登入