Deshmukh, Jyotirmoy.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.