語系
D'Souza, Deepak.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verification, model checking, and abstract interpretation16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(1998 :); D'Souza, Deepak.; Lal, Akash.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-電子資源)
Automated technology for verification and analysis15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings /
by:
(1998 :); 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.
Computer software
Computation by Abstract Devices.
Automatic theorem proving
Computing Milieux.
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.