語系
D'Souza, Deepak.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); D'Souza, Deepak.; Narayan Kumar, K.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /
by:
D'Souza, Deepak.; Larsen, Kim Guldstrand.; SpringerLink (Online service); Lal, Akash.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
D'Souza, Deepak.; Workshop on the Preservation of Stability under Discretization ((2001 :); Larsen, Kim Guldstrand.; SpringerLink (Online service); Lal, Akash.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Computer logic.
Computer Communication Networks.
Automatic theorem proving
Software engineering.
Theory of Computation.
Computer Science.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer communication systems.
Artificial intelligence
Computing Milieux.
Computers.
Software engineering
Computing Methodologies.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.