Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings (Record no. 86271)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00809nam a2200133Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 2212144s2020 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783030605087 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Jyotirmoy Deshmukh, Dejan Ničković. |
| 245 ## - TITLE STATEMENT | |
| Title | Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Cham |
| Name of publisher, distributor, etc. | Springer |
| Date of publication, distribution, etc. | 2020 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software 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 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-030-60508-7">https://doi.org/10.1007/978-3-030-60508-7</a> |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| BITS Pilani Hyderabad | BITS Pilani Hyderabad | 16/12/2022 | EBK003035 | 16/12/2022 | 16/12/2022 | Springer EBooks |