語系
Finkel, Alain.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
Finkel, Alain.; Leroux, Jerome.; SpringerLink (Online service); Potapov, Igor.
(書目-電子資源)
Computer aided verification = 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
Berry, Gerard.; Comon, Hubert.; Finkel, Alain.; SpringerLink (Online service); CAV (Conference) (2001 :)
(書目-語言資料,印刷品)
主題
Integrated circuits- Verification
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems- Verification
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer science- Mathematics
Programming Languages, Compilers, Interpreters.
Computer software- Verification
Decidability (Mathematical logic)
Computer Science.