Ravn, Anders P.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
by:
(1998 :); Liu, Zhiming.; Ravn, Anders P.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques in real-time and fault-tolerant systems5th international symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998 : proceedings /
by:
(1998 :); Ravn, Anders P.; Rischel, Hans.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Artificial intelligence
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer Science.
Fault-tolerant computing
Real-time data processing