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)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer Science.
Fault-tolerant computing
Real-time data processing