語系
Delzanno, Giorgio.
概要
| 作品: | 20 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(1998 :); Delzanno, Giorgio.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Decidability (Mathematical logic)
Graph theory
Computer Science.