Runtime Verification

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings 1st Auflage verfasst von Jyotirmoy Deshmukh; Dejan Nickovic und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Runtime Verification lauten 9783030605087, 3030605086 und die Druck-ISBNs lauten 9783030605070, 3030605078. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings 1st Auflage verfasst von Jyotirmoy Deshmukh; Dejan Nickovic und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Runtime Verification lauten 9783030605087, 3030605086 und die Druck-ISBNs lauten 9783030605070, 3030605078. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.