Deshmukh, Jyotirmoy.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings /
by:
Ničković, Dejan.; SpringerLink (Online service); Deshmukh, Jyotirmoy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer logic.
Artificial Intelligence.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Software engineering.
Algorithms.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.