語系
D'Souza, Deepak.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
D'Souza, Deepak.; Lal, Akash.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-電子資源)
Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings /
by:
ATVA (Symposium) (2017 :); D'Souza, Deepak.; Narayan Kumar, K.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Theory of Computation.
Computing Methodologies.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Automatic theorem proving
Computing Milieux.
Programming Languages, Compilers, Interpreters.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.