語系
Cassez, Franck.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : proceedings /
by:
(1998 :); Cassez, Franck.; Raskin, Jean-Francois.; SpringerLink (Online service)
(書目-電子資源)
Modeling and verification of parallel processes4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures /
by:
(1998 :); Cassez, Franck.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Automatic theorem proving
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.