| 000 | 00809nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 2212144s2020 xx 000 0 und d | ||
| 020 | _a9783030605087 | ||
| 041 | _aeng | ||
| 100 | _aJyotirmoy Deshmukh, Dejan Ničković. | ||
| 245 | _aRuntime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings | ||
| 260 |
_aCham _bSpringer _c2020 |
||
| 650 | _aSoftware engineering. Mathematical logic. Computer logic. Artificial intelligence. Algorithms. Programming languages (Electronic computers). Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence. Algorithm Analysis and Problem Complexity. Programming Languages, Compilers, Interpreters. | ||
| 856 | _uhttps://doi.org/10.1007/978-3-030-60508-7 | ||
| 999 |
_c86271 _d86271 |
||