語系
Cassez, Franck.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis = 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : proceedings /
by:
Cassez, Franck.; Raskin, Jean-Francois.; SpringerLink (Online service)
(書目-電子資源)
Modeling and verification of parallel processes = 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures /
by:
Cassez, Franck.; SpringerLink (Online service); MOVEP 2000 ((2000 :)
(書目-語言資料,印刷品)
主題
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.