Tell your friends about this item:
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings - Lecture Notes in Computer Science 1st ed. 2020 edition
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.
538 pages, 133 Illustrations, color; 1221 Illustrations, black and white; XIX, 538 p. 1354 illus., 1
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 8, 2020 |
| ISBN13 | 9783030605070 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 538 |
| Dimensions | 150 × 220 × 10 mm · 848 g |
| Language | German |
| Editor | Deshmukh, Jyotirmoy |
| Editor | Nickovic, Dejan |